Christos Nomikos, Panos Rondogiannis, Manolis Gergatsoulis. Temporal Stratification Tests for Linear and Branching-time Deductive Databases. Theoretical Computer Science, 342(2-3):382-415, September 2005.


  1. David Bednárek. Effective Datalog-like representation of procedural programs. In Tomáš Horváth (Ed.), Information Technologies - Applications and Theory, Conference on Theory and Practice of Information Technologies, Proceedings, Belianske Tatry, Slovakia, pp. 9-15. September 2012.
  2. Grigoris Antoniou, Pavlos Peppas. Knowledge Representation and Reasoning. Appears in
  3. Robert Craven, Jorge Lobo, Jiefei Ma, Alessandra Russo, Emil Lupu, Arosha Bandara. Expressive policy analysis with enhanced system dynamicity. In Proceedings of the ASIAN ACM Symposium on Information, Computer and Communications Security, Sydney, Australia, March 10 - 12, 2009. Pages 239-250, ACM 2009.
  4. Robert J. Simmons, Frank Pfenning. Linear Logical Algorithms. In Luca Aceto, Ivan Damgård, Leslie Ann Goldberg, Magnús M. Halldórsson, Anna Ingólfsdóttir, Igor Walukiewicz (eds.), Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations, Lecture Notes in Computer Science Vol. 5126, Springer, 2008.