Login / Signup

An Algorithm for General Set Unification and Its Complexity.

Frieder Stolzenburg
Published in: J. Autom. Reason. (1999)
Keyphrases