A. Couchot
Improving Termination
Analysis of Active Rules with Composite
Events. In H. C. Mayr, J. Lazanský, G.
Quirchmayr, and P. Vogel, editors, Proceedings
of the 12th International Conference on Database
and Expert Systems Applications, volume 2113
of LNCS, pages 400‒409, Munich, Germany,
Sept. 2001. Springer-Verlag.