Mutsumi Nakamura Papers on DiSC'03 Using Smodels (declarative logic programming) to verify correctness of certain active rules Publications Note: Links lead to the DBLP on the Web. Mutsumi Nakamura 3 Mutsumi Nakamura, Ramez Elmasri : Using Smodels (Declarative Logic Programming) to Verify Correctness of Certain Active Rules. ICDE 2002 : 270 2 Mutsumi Nakamura, Chitta Baral , Marcus Bjäreland : Maintainability: A Weaker Stabilizability Like Notion for High Level Control. AAAI/IAAI 2000 : 62-67 1 Mutsumi Nakamura, Chitta Baral : Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active Databases. Computational Logic 2000 : 1210-1224 DiSC'03 © 2003 Association for Computing Machinery