STATELOG: Gzipped Postscript Files

• The full Statelog story (recommended):
  Integration of Active and Deductive Database Rules, B. Ludäscher, PhD thesis, DISDBIS 45, infix-Verlag, Sankt Augustin, 1998, ISBN 3-89601-445-5.
• Parts of the story:
  On Logical Foundations of Active Databases, G. Lausen, B. Ludäscher, and W. May. In Logics for Databases and Information Systems, Jan Chomicki and Gunter Saake, editors. Kluwer Academic Publishers, 1998.
• Parts of the story and a Kripke-style semantics:
  On Active Deductive Databases: The Statelog Approach, G. Lausen, B. Ludäscher, and W. May. In Transactions and Change in Logic Databases, Hendrik Decker, Burkhard Freitag, Michael Kifer, and Andrei Voronkov, editors. LNCS 1472, 1998, Springer.
• Parts of the story focusing on termination analysis:
  Handling Termination in a Logical Language for Active Rules, B. Ludäscher, G. Lausen. Informatica, Vol. 9, No. 1, 65-87, Lithuanian Academy of Sciences, special issue on the 7th Advanced Course on Artificial Intelligence (ACAI'97), Vilnius, June 1997.