[1]
J. Li and Y. Liu, “Automatic Verification of Liveness Properties in the Situation Calculus”, AAAI, vol. 34, no. 03, pp. 2886-2892, Apr. 2020.