De Giacomo, G.; Lespérance, Y.; Patrizi, F.; Sardina, S. Verifying ConGolog Programs on Bounded Situation Calculus Theories. AAAI 2016, 30.