Incomplete Causal Laws in the Situation Calculus Using Free Fluents. - Marcelo Arenas; Jorge A. Baier; Juan S. Navarro; Sebastian Sardiña (IJCAI, 2016)

On the Progression of Situation Calculus Universal Theories with Constants. - Marcelo Arenas; Jorge A. Baier; Juan S. Navarro; Sebastian Sardiña (KR, 2018)