First-order unification using variable-free relational algebra

Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira. First-order unification using variable-free relational algebra. Logic Journal of the IGPL, 19(6):790-820, 2011. [doi]

Abstract

Abstract is missing.