Fitting Semantics for Conditional Term Rewriting

Chilukuri K. Mohan. Fitting Semantics for Conditional Term Rewriting. In IJCAI. pages 857-862, 1991.

Abstract

Abstract is missing.