Conditional Term Rewriting as a Deductive Database Language

Zeki O. Bayram, Barrett R. Bryant. Conditional Term Rewriting as a Deductive Database Language. In Workshop on Deductive Databases, JICSLP. pages 126-135, 1992.

Abstract

Abstract is missing.