A. Paraskevas, “A note on situation calculus”, Uncert. Disc. Appl., vol. 1, no. 1, pp. 66–72, Jun. 2024, doi: 10.48313/uda.v1i1.22.