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.

Authors

Tony Rush

This author has not been identified. Look up 'Tony Rush' in Google

Derek Coleman

This author has not been identified. Look up 'Derek Coleman' in Google