Login / Signup

A Unification Algorithm for Associative-Commutative Functions.

Mark E. Stickel
Published in: J. ACM (1981)
Keyphrases