Unification under a Mixed Prefix (1992)

by Dale A Miller
Venue:J. Symbolic Computation