Using Smodels (Declarative Logic Programming) to Verify Correctness of Certain Active Rules.

Mutsumi Nakamura, Ramez Elmasri

Browse the full ICDE paper archive.