Login / Signup

-unification with Eager Variable Elimination and a Nice Cycle Rule.

Barbara Morawska
Published in: J. Autom. Reason. (2007)
Keyphrases