Santiago Escobar, José Meseguer, Ralf Sasse. Variant Narrowing and Equational Unification. Electronic Notes in Theoretical Computer Science, 238(3):103-119, 2009. [doi]
No references recorded for this publication.
No citations of this publication recorded.