Gao F, Tourlakis G. A Short and Readable Proof of Cut Elimination for Two First-Order Modal Logics. B Sect Log [Internet]. 2015 Jan. 1 [cited 2024 May 13];44(3/4):131–147. Available from: https://czasopisma.uni.lodz.pl/bulletin/article/view/16229