| |
| 2002 | ||
|---|---|---|
| 4 | EE | Carlos Areces, Juan Heguiabehere: HyLoRes 1.0: Direct Resolution for Hybrid Logics. CADE 2002: 156-160 |
| 2001 | ||
| 3 | EE | Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin: Tableau Reasoning and Programming with Dynamic First Order Logic. Logic Journal of the IGPL 9(3): (2001) |
| 2000 | ||
| 2 | Carlos Areces, Rosella Gennari, Juan Heguiabehere, Maarten de Rijke: Tree-based Heuristics in Modal Theorem Proving. ECAI 2000: 199-203 | |
| 1 | Jan van Eijck, Juan Heguiabehere, Breanndán Ó Nualláin: Theorem Proving and Programming with Dynamic First Order Logic. WFLP 2000: 56-71 | |
| 1 | Carlos Areces | [2] [4] |
| 2 | Jan van Eijck | [1] [3] |
| 3 | Rosella Gennari | [2] |
| 4 | Breanndán Ó Nualláin | [1] [3] |
| 5 | Maarten de Rijke | [2] |