DMCA

Unification under a mixed prefix (1992)

by Dale Miller
Venue:Journal of Symbolic Computation
Citations:132 - 14 self