Keiichirou Kusakari, Masahiko Sakai. Enhancing dependency pair method using strong computability in simply-typed term rewriting. Appl. Algebra Eng. Commun. Comput., 18(5):407-431, 2007. [doi]
No references recorded for this publication.
No citations of this publication recorded.