Unification under a mixed prefix (1992)

Cached

Download Links

by Dale Miller
Venue:Journal of Symbolic Computation
Citations:124 - 13 self

Document Versions

Unification under a mixed prefix –Dale Miller — 1992 — Journal of Symbolic Computation