Higher-Order Equational Unification via Explicit Substitutions (1996)

Cached

Download Links

by Claude Kirchner , Christophe Ringeissen
Venue:in Proceedings of the tenth UNIF Workshop
Citations:5 - 3 self