Marcelo Arenas, Jorge A. Baier, Juan S. Navarro, Sebastian SardiƱa. On the Progression of Situation Calculus Universal Theories with Constants. In Michael Thielscher, Francesca Toni, Frank Wolter, editors, Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018. pages 484-493, AAAI Press, 2018. [doi]