1. Apt, K. R. and Blair, H. A. [1988], Arithmetic classification of perfect models of stratified programs, Report TR-88–09, University of Texas at Austin.
2. Apt, K. R.; Blair, H. A. and Walker, A. [1988], Towards a theory of declarative knowledge, in “Foundations of Deductive Databases and Logic Programming”, (J. Minker, Ed.), Morgan Kaufmann, Los Altos, CA, 89–148.
3. Apt. K. R. and Pugin, J.-M. [1987], Management of stratified databases, Report TR-87–41, University of Texas at Austin.
4. Apt, K. R. and Emden, M. H. van [1982], Contributions to the theory of logic programming, JACM 29, 841–863.
5. Barbuti, R. and Martelli, M. [1986], Completeness of SLDNF-resolution for structured programs, submitted to Theoretical Computer Science 21.