| Tableau methods for modal and temporal logics R Goré Handbook of tableau methods, 297-396, 1999 | 477 | 1999 |
| Substructural logics on display R Goré Logic Journal of IGPL 6 (3), 451-504, 1998 | 155 | 1998 |
| Dual Intuitionistic Logic Revisited R Gore Automated Reasoning with Analytic Tableaux and Related Methods …, 2000 | 116 | 2000 |
| Free variable tableaux for propositional modal logics B Beckert, R Goré International Conference on Automated Reasoning with Analytic Tableaux and …, 1997 | 77 | 1997 |
| An on-the-fly tableau-based decision procedure for PDL-satisfiability P Abate, R Goré, F Widmann Electronic Notes in Theoretical Computer Science 231, 191-209, 2009 | 74* | 2009 |
| EXPTIME tableaux with global caching for description logics with transitive roles, inverse roles and role hierarchies R Goré, LA Nguyen International Conference on Automated Reasoning with Analytic Tableaux and …, 2007 | 69 | 2007 |
| Labelled tree sequents, tree hypersequents and nested (deep) sequents R Goré, R Ramanayake Advances in modal logic, 279-299, 2014 | 67 | 2014 |
| Cut-elimination and proof-search for biintuitionistic logic using nested sequents R Goré, L Postniece, A Tiu Advances in Modal Logic 7, 43-66, 2008 | 65 | 2008 |
| On the correspondence between display postulates and deep inference in nested sequent calculi for tense logics R Goré, L Postniece, AF Tiu Logical Methods in Computer Science 7, 2011 | 62 | 2011 |
| ExpTime Tableaux for ALC Using Sound Global Caching R Goré, LA Nguyen Journal of automated reasoning 50 (4), 355-381, 2013 | 57 | 2013 |
| ExpTime Tableaux for ALC Using Sound Global Caching R Goré, LA Nguyen International Workshop on Description Logics (DL2007),, 8 pages, 2007 | 57* | 2007 |
| Combining derivations and refutations for cut-free completeness in bi-intuitionistic logic R Goré, L Postniece Journal of Logic and Computation 20 (1), 233-260, 2010 | 54 | 2010 |
| Valentini’s cut-elimination for provability logic resolved R Goré, R Ramanayake Advances in Modal Logic 7, 67-86, 2008 | 51* | 2008 |
| The tableaux work bench P Abate, R Goré International Conference on Automated Reasoning with Analytic Tableaux and …, 2003 | 50 | 2003 |
| An optimal on-the-fly tableau-based decision procedure for PDL-satisfiability R Goré, F Widmann International Conference on Automated Deduction, 437-452, 2009 | 49 | 2009 |
| Cut-free sequent and tableau systems for propositional normal modal logics RP Goré University of Cambridge, Computer Laboratory, 1992 | 44 | 1992 |
| Gaggles, Gentzen and Galois: How to display your favourite substructural logic R Goré Logic Journal of the IGPL 6 (5), 669-694, 1998 | 39 | 1998 |
| An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability P Abate, R Goré, F Widmann Electronic Notes in Theoretical Computer Science 231, 191-209, 2009 | 38 | 2009 |
| An iterative approach for business process template synthesis from compliance rules A Awad, R Goré, J Thomson, M Weidlich International Conference on Advanced Information Systems Engineering, 406-421, 2011 | 37 | 2011 |
| Optimal and cut-free tableaux for propositional dynamic logic with converse R Goré, F Widmann International Joint Conference on Automated Reasoning, 225-239, 2010 | 37 | 2010 |
