Efficient Local Reductions to Basic Modal Logic

Papacchini, Fabio and Nalon, Cláudia and Hustadt, Ullrich and Dixon, Clare (2021) Efficient Local Reductions to Basic Modal Logic. In: Automated Deduction – CADE 28 : 28th International Conference on Automated Deduction, Virtual Event, July 12–15, 2021, Proceedings. Lecture Notes in Computer Science . Springer, Cham, pp. 76-92. ISBN 9783030798758