Higher-Order Equational Unication via Explicit Substitutions (1997)

by Ringeissen
Venue:In Proceedings 6th International Joint Conference ALP'97-HOA'97, Southampton (UK