1. P. Aczel, Non-well-founded Sets, CSLI Lecture Notes No. 14, Center for the Study of Language and Information, Stanford University, University of Chicago Press, Chicago, 1988
2. J. Barwise, The Situation in Logic, CSLI Lecture Notes No. 17, Center for the Study of Language and Information, Stanford University, 1989
3. J. Barwise, J. Etchemendy, The Liar: An Essay on Truth and Circularity, Oxford University, Oxford, 1987
4. J. Barwise, L. Moss, Vicious Circles, CSLI Lecture Notes No. 60, Center for the Study of Language and Information, Stanford University, 1996
5. K.L. Bellman, The modelling issues inherent in testing and evaluating knowledge-based systems, in: C. Culbert (Ed.), Verification and Validation of Knowledge-Based Systems, Expert Systems With Applications Journal (special issue) 1 (3) (1990) 199–215