Using Smodels (declarative logic programming) to verify correctness of certain active rules | IEEE Conference Publication | IEEE Xplore