• R. Reiter (1978). On closed world data bases. In H. Gallaire and J. Minker, editors,
Logic and Data Bases, pages 119–140. Plenum., New York. • R. Reiter (1980). A logic for default reasoning.
Artificial Intelligence, 13:81-132. • R. Reiter (1987). A theory of diagnosis from first principles.
Artificial Intelligence, 32:57-95. • R. Reiter (1991). The frame problem in the situation calculus: a simple solution (sometimes) and a completeness result for goal regression. In Vladimir Lifschitz, editor,
Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359–380. Academic Press, New York. • R. Reiter (2001)
Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamical Systems (448 pp.). The MIT Press, Cambridge, Massachusetts and London, England. • R. Reiter and J. de Kleer (1987). Foundations of assumption-based truth maintenance systems: Preliminary report. In ''Proceedings of the Sixth National Conference on Artificial Intelligence (AAAI'87)'', pages 183–188. • H. Levesque, F. Pirri, and R. Reiter (1998). Foundations for the situation calculus
Electronic Transactions on Artificial Intelligence, 2(3–4):159-178. • F. Pirri and R. Reiter (1999). Some contributions to the metatheory of the Situation Calculus
Journal of the ACM, 46(3):325–361. ==References==