1. Static Analysis Techniques for Predicting the Behavior of Active Database Rules;Aiken;ACM Transactions on Database Systems,1995
2. A. Aiken, J. Widom, Behavior of Database Production Rules: Termination, Confluence, and Observable Determinism. In: Proceedings of ACM SIGMOD International Conference on Management of Data, San Diego, United States (1992) pp. 59–68.
3. J. Bailey, L. Crnogorac, K. Ramamohanarao, H. Sondergaard, Abstract Interpretation of Active Rules and Its Use In Termination Analysis. In: Proceedings of the International Conference on Database Theory, Delphoi, Greece, (1997) pp. 188–202.
4. Introductory Discrete Mathematics;Balakrishnan,1991
5. E. Baralis, J. Widom, An Algebraic Approach to Rule Analysis in Expert Database System. In: Proceedings of 12th International Conference on Very Large Data Bases, Santiago, Chile, September (1994) pp. 457–486.