Emilio Jesús Gallego Arias, James Lipton, Julio Mariño, Pablo Nogueira. First-order unification using variable-free relational algebra. In Mircea Marin, editor, Proceedings of the 22nd International Workshop on Unification, UNIF 2008, Castle of Hagenberg, Austria, July 18, 2008. pages 40-54, 2008. [doi]
Abstract is missing.