"What are the Limitations of the Situation Calculus?"

Michael Gelfond, Vladimir Lifschitz, Arkady Rabinov (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics