Proof Complexity of Modal Resolution. - Sarah Sigley; Olaf Beyersdorff (J. Autom. Reason., 2022)