Santiago Escobar, José Meseguer, Prasanna Thati. Narrowing and Rewriting Logic: from Foundations to Applications. Electronic Notes in Theoretical Computer Science, 177:5-33, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.