Santiago Escobar 0001, José Meseguer 0001, Ralf Sasse. Equational Unification by Variant Narrowing (Extended Abstract). In Mircea Marin, editor, Proceedings of the 22nd International Workshop on Unification, UNIF 2008, Castle of Hagenberg, Austria, July 18, 2008. pages 35-39, 2008. [doi]
Abstract is missing.