1. Alexander Aiken, Jennifer Widom, and Joseph M. Hellerstein. Behavior od database production rules: Termination, confluence, and observable determinism. In Michael Stonebraker, editor, Proc. ACM SIGMOD Int'l Conf. on Management of Data, pages 59–68, San Diego, California, May 1992.
2. Elena Baralis, Stefano Ceri, and Jennifer Widom. Better termination analysis for active databases. In Norman W. Paton and M. Howard Williams, editors, Proc. of First Workshop on Rules in Database Systems, WICS, pages 163–179, Edinburgh, Scotland, August 1993. Springer-Verlag, Berlin.
3. Elena Baralis and Jennifer Widom. Using delta relations to optimize condition evaluation in active databases. Technical Report Stan-CS-93-1495, Computer Science Department, Stanford University, November 1993.
4. Elena Baralis and Jennifer Widom. An algebraic approach to rule analysis in expert database systems. In Proc. Twentieth Int'l Conf. on Very Large Data Bases, Santiago, Chile, September 1994. To appear.
5. Stefano Ceri, Piero Fraternali, Stefano Paraboschi, and Letizia Tanca. Automatic generation of production rules for integrity maintenance. Technical Report 92-054, Politecnico di Milano — Dipartimento di Elettronica e Informazione, 1992. To appear on ACM Transactions on Database Systems.