A. Pavlova, “Dialogue Games for Minimal Logic”, LLP, vol. 30, no. 2, pp. 281–309, Nov. 2020.