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.

CITATIONS

1. 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.
2. 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.