On the Progression of Situation Calculus Universal Theories with Constants.

Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian Sardia

Browse the full KR paper archive.