1. A. Aiken, J. Widom, and J.M. Hellerstein. Behaviour of database production rules: Termination, confluence, and observable determinism. In ACM SIGMOD, volume 21, pages 59–68, 1992.
2. E. Baralis and J. Widom. Using delta relations to optimize condition evaluation in active databases. Technical Report Stan-CS-93-1495, Department of Computer Science, Stanford University, 1993.
3. E. Baralis and J. Widom. An algebraic approach to rule analysis in expert database systems. In J. Bocca, M. Jarke, and C. Zaniolo, editors, Proc. 20th VLDB, pages 475–486. Morgan-Kaufmann, 1994.
4. J. Campin, N.W. Paton, and M.H. Williams. A Structured Specification of an Active Database System. Information and Software Technology, 37(1):47–61, 1995.
5. J. Campin, N.W. Paton, and M.H. Williams. Specifying Active Database Systems in an Object-Oriented Framework. submitted for publication, 1995.