| 2025 | CADE | From Modal Sequent Calculi to Modal Resolution. | Dirk Pattinson, Cludia Nalon, Sourabh Peruri |
| 2025 | TABLEAUX | Refined Tableau Systems for Some Modal Logics of Confluence. | Kiana Samadpour Motalebi, Renate A. Schmidt, Cludia Nalon |
| 2024 | AiML | Efficient Theorem-Proving for Modal Logics. | Cludia Nalon |
| 2024 | IJCAR | Model Construction for Modal Clauses. | Ullrich Hustadt, Fabio Papacchini, Cludia Nalon, Clare Dixon |
| 2024 | IJCAR | Non-iterative Modal Resolution Calculi. | Dirk Pattinson, Cludia Nalon |
| 2023 | CADE | Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic. | Cludia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon |
| 2023 | TABLEAUX | Resolution Calculi for Non-normal Modal Logics. | Dirk Pattinson, Nicola Olivetti, Cludia Nalon |
| 2022 | CADE | Local Reductions for the Modal Cube. | Cludia Nalon, Ullrich Hustadt, Fabio Papacchini, Clare Dixon |
| 2021 | CADE | Efficient Local Reductions to Basic Modal Logic. | Fabio Papacchini, Cludia Nalon, Ullrich Hustadt, Clare Dixon |
| 2018 | CADE | Evaluating Pre-Processing Techniques for the Separated Normal Form for Temporal Logics. | Ullrich Hustadt, Cludia Nalon, Clare Dixon |
| 2018 | CADE | A Resolution-Based Calculus for Preferential Logics. | Cludia Nalon, Dirk Pattinson |
| 2017 | IJCAI | KSP: A Resolution-based Prover for Multimodal K, Abridged Report. | Cludia Nalon, Ullrich Hustadt, Clare Dixon |
| 2016 | CADE | : A Resolution-Based Prover for Multimodal K. | Cludia Nalon, Ullrich Hustadt, Clare Dixon |
| 2015 | TABLEAUX | Ordered Resolution for Coalition Logic. | Ullrich Hustadt, Paul Gainer, Clare Dixon, Cludia Nalon, Lan Zhang |
| 2015 | TABLEAUX | A Modal-Layered Resolution Calculus for K. | Cludia Nalon, Ullrich Hustadt, Clare Dixon |
| 2014 | CADE | Clausal Resolution for Modal Logics of Confluence. | Cludia Nalon, Joo Marcos, Clare Dixon |
| 2006 | JELIA | Anti-prenexing and Prenexing for Modal Logics. | Cludia Nalon, Clare Dixon |
| 2004 | AiML | Resolution for Synchrony and No Learning. | Cludia Nalon, Clare Dixon, Michael Fisher |
| 2003 | TIME | Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. | Clare Dixon, Cludia Nalon, Michael Fisher |