1. S. Abramsky and C. Hankin, editors. Abstract Interpretation of Declarative Languages. Ellis Horwood, 1987.
2. A. Aiken, J. Widom, and J. M. Hellerstein. Static analysis techniques for predicting the behavior of active database rules. A CM TODS, 20(1):3–41, 1995.
3. J. Bailey. On the foundations of termination analysis of active database Rules. PhD thesis, Department of Computer Science, University of Melbourne, September 1997.
4. J. Bailey, L. Crnogorac, K. Ramamohanarao, and H. Sondergaard. Abstract interpretation of active rules and its use in termination analysis. In Proc. ICDT’97, LNCS 1186, pages 188–202, Delphi, Greece, 1997.
5. J. Bailey, G. Dong, and K. Ramamohanarao. Decidability and undecidability results for the termination problem of active database rules. In Proc. ACM PODS’98, pages 264–273, Seattle, Washington, 1998.