@inproceedings{jevy1998on,
author = {Jevy, Jordi and Veanes, Margus},
title = {On Unification Problems in Restricted Second-Order Languages},
booktitle = {Annual Conference of the European Association for Computer Science Logic, CSL'98},
year = {1998},
month = {January},
abstract = {We review known results and improve known boundaries between the decidable and the undecidable cases of second-order unification with various restrictions on second-order variables. As a key tool we prove an undecidability result that provides a partial solution to an open problem about simultaneous rigid E-unification.},
url = {http://approjects.co.za/?big=en-us/research/publication/on-unification-problems-in-restricted-second-order-languages/},
edition = {Annual Conference of the European Association for Computer Science Logic, CSL'98},
note = {Appears in preliminary proceedings of CSL'98},
}