Higher-order unication via explicit substitutions, extended abstract (1995)

by Hardin, C Kirchner
Venue:Proceedings of LICS'95