Architecture for Conditional Term Rewriting

Tony Rush, Derek Coleman. Architecture for Conditional Term Rewriting. In Stéphane Kaplan, Jean-Pierre Jouannaud, editors, Conditional Term Rewriting Systems, 1st International Workshop, Orsay, France, July 8-10, 1987, Proceedings. Volume 308 of Lecture Notes in Computer Science, pages 266-278, Springer, 1987.

Abstract

Abstract is missing.