1. A. Bonner and M. Kifer. Logic Programming for Database Transactions. In Chomicki and Saake [CS98], chapter 5, pp. 117–166.
2. S. Conrad. A Basic Calculus for Verifying Properties of Interacting Objects. Data & Knowledge Engineering, 18(2):119–146, 1996.
3. S. Conrad. A Logic Primer. In Chomicki and Saake [CS98], chapter 2, pp. 5–30.
4. S. Conrad and G. Saake. Specifying Evolving Temporal Behaviour. In J. Fiadeiro and P.-Y. Schobbens, editors, Proc. of the 2nd Workshop of the ModelAge Project (Model Age′96), Sesimbra, Portugal, pp. 51–65. Departamento de Informatica, Universitade de Lisboa, 1996.
5. S. Conrad and G. Saake. Extending Temporal Logic for Capturing Evolving Behaviour. In Z. Ras and A. Skowron, editors, Foundations of Intelligent Systems (Proceedings, 10th International Symposium, ISMIS′97, Charlotte, North Carolina, USA, October 1997), volume 1325 of Lecture Notes in Artificial Intelligence, pp. 60–71. Springer-Verlag, Berlin, 1997.