TítuloOn the Undecidability of Second-Order Unification
Publication TypeJournal Article
Year of Publication2000
AuthorsLevy J, Veanes M
JournalInformation and Computation
Volume159
Paginación125–150
URLhttp://dx.doi.org/10.1006/inco.2000.2877
DOI10.1006/inco.2000.2877