Abstraction of Conditional Term Rewriting Systems

Didier Bert, Rachid Echahed. Abstraction of Conditional Term Rewriting Systems. In ILPS. pages 162-176, 1995.

Abstract

Abstract is missing.