Essential unifiers

Michael Hoche, Peter Szabó. Essential unifiers. J. Applied Logic, 4(1):1-25, 2006. [doi]

Abstract

Abstract is missing.