Fitting Semantics for Conditional Term Rewriting.

Chilukuri K. Mohan

Browse the full IJCAI paper archive.