Login / Signup

A Remark on Infinite Matching vs Infinite Unification.

Benedetto IntrigilaMarisa Venturini Zilli
Published in: J. Symb. Comput. (1996)
Keyphrases