Unification under a mixed prefix (1992)
by
Dale Miller
| Venue: | Journal of Symbolic Computation |
| Citations: | 109 - 12 self |
Document Versions
| Unification under a mixed prefix –Dale Miller — 1992 — Journal of Symbolic Computation |
