Jieh Hsiang, Hélène Kirchner, Pierre Lescanne, Michaël Rusinowitch. The Term Rewriting Approach to Automated Theorem Proving. Journal of Logic and Algebraic Programming, 14(1&2):71-99, 1992.
No references recorded for this publication.
No citations of this publication recorded.