Mutsumi Nakamura, Ramez Elmasri. Using Smodels (Declarative Logic Programming) to Verify Correctness of Certain Active Rules. In Proceedings of the 18th International Conference on Data Engineering, 26 February - 1 March 2002, San Jose, CA. pages 270, IEEE Computer Society, 2002. [doi]
Abstract is missing.