1. D. Cenzer, J.B. Remmel, Π10 classes in mathematics, in: Y.L. Ershov, S.S. Goncharov, V.W. Marek, A. Nerode, J.B. Remmel (Eds.), Handbook of Recursive Mathematics, Vol. 2, North-Holland, Amsterdam, 1998.
2. D.W. Etherington, Relating default logic and circumscription, in: Proc. 11th Internat. Joint Conf. on Artificial Intelligence, Milan, Italy, August 1987.
3. The stable semantics for logic programs;Gelfond,1988
4. J.-Y. Girard, Proof Theory and Logical Complexity, Vol. 1, Bibliopolis, Napooli, 1987.
5. J.-Y. Girard, Proof Theory and Logical Complexity, Vol. 2, North-Holland, Amsterdam, to appear.