1. Aczel, P.: Inductive Definitions. In: Barwise, J. (ed.) Handbook of Mathematical Logic, Studies in Logic and the Foundations of Mathematics, vol. 90, ch. C.7, pp. 739–782. North-Holland, Amsterdam (1977)
2. Aczel, P.: Non-well-founded Sets, CSLI Lecture Notes Number 14, Center for the Study of Language and Information, Stanford U., U. Chicago Press (1988)
3. Albus, J.S., Meystel, A.M.: Engineering of Mind: An Introduction to the Science of Intelligent Systems. Wiley, Chichester (2001)
4. Bacchus, F., Halpern, J.Y., Levesque, H.J.: Reasoning about noisy sensors and effectors in the situation calculus. Artificial Intelligence Journal 111, 171–208 (1999)
5. Barwise, J., Moss, L.: Vicious Circles: On the Mathematics of Non-Wellfounded Phenomena, CSLI Lecture Notes Number 60, Center for the Study of Language and Information, Stanford U (1996)