[Lecture Notes in Computer Science] Foundations of Logic and Functional Programming Volume 306 || Unification revisited
Boscarol, Mauro, Carlucci Aiello, Luigia, Levi, GiorgioVolume:
10.1007/3-
Year:
1988
Language:
english
DOI:
10.1007/3-540-19129-1_4
File:
PDF, 2.00 MB
english, 1988