Zeki O. Bayram Barrett R. Bryant Conditional Term Rewriting as a Deductive Database Language. 126-135 1992 conf/deductive/1992 Workshop on Deductive Databases, JICSLP db/conf/deductive/deductive92.html#BayramB92