An Improved General E-Unification Method (1994)

Cached

Download Links

by Daniel J. Dougherty , Patricia Johann
Venue:J. Symbolic Computation
Citations:8 - 1 self