Unification under a mixed prefix (1992)

by Mil92 Dale Miller
Venue:Journal of Symbolic Computation