Implementation of higher-order unication based on calculus of explicit substitution (1995)

by P Borovansk
Venue:Proceedings of the SOFSEM'95: Theory and Practice of Informatics, volume 1012 of Lecture Notes in Computer Science