Conditional Term Rewriting as a Formal Basis for Active Database Rules

Anton P. Karadimce, Susan Darling Urban. Conditional Term Rewriting as a Formal Basis for Active Database Rules. In RIDE-ADS. pages 156-162, 1994.

Abstract

Abstract is missing.