General <i>E</i> -unification with Eager Variable Elimination and a Nice Cycle Rule.

Barbara Morawska General <i>E</i> -unification with Eager Variable Elimination and a Nice Cycle Rule. 77-106 2007 39 J. Autom. Reasoning 1 http://dx.doi.org/10.1007/s10817-007-9068-z db/journals/jar/jar39.html#Morawska07