1. Modal languages and bounded fragment of predicate logic;Andréka;J. Philos. Log.,1998
2. An experimental query system: SYNTEX;Artaud,1974
3. Automated Selection of Grounding Algorithm in Answer Set Programming,2013
4. La saturation au secours de la non-monotonie;Bossu,1981
5. On the expressive power of query languages for relational databases;Cooper,1980