Arkady Rabinov. What are the limitations of the situation calculus (1991)

by Michael Gelfond, Vladimir Lifschitz
Venue:Automated Reasoning, Essays in Honor of Woody Bledsoe