RRL: A Rewrite Rule Laboratory

Deepak Kapur, G. Sivakumar, Hantao Zhang. RRL: A Rewrite Rule Laboratory. In Jörg H. Siekmann, editor, 8th International Conference on Automated Deduction, Oxford, England, July 27 - August 1, 1986, Proceedings. Volume 230 of Lecture Notes in Computer Science, pages 691-692, Springer, 1986.

Abstract

Abstract is missing.