Browse by People

Nalon, Claudia, Hustadt, Ullrich ORCID: 0000-0002-0455-0267, Papacchini, Fabio ORCID: 0000-0002-0310-7378 and Dixon, Clare ORCID: 0000-0002-4610-9533 (2022) Local Reductions for the Modal Cube. In: Automated Reasoning. Lecture Notes in Computer Science, 13385 . Springer International Publishing, pp. 486-505. ISBN 978-3-031-10768-9