| |
| 2007 | ||
|---|---|---|
| 4 | EE | Domenico Cantone, Marianna Nicolosi Asmundo: A Sound Framework for delta-Rule Variants in Free-Variable Semantic Tableaux. J. Autom. Reasoning 38(1-3): 31-56 (2007) |
| 2003 | ||
| 3 | EE | Marianna Nicolosi Asmundo, Elvinia Riccobene: Consistent Integration for Sequential Abstract State Machines. Abstract State Machines 2003: 324-340 |
| 1998 | ||
| 2 | EE | Domenico Cantone, Marianna Nicolosi Asmundo: A Further and Effective Liberalization of the delta-Rule in Free Variable Semantic Tableaux. FTP (LNCS Selection) 1998: 109-125 |
| 1997 | ||
| 1 | Domenico Cantone, Marianna Nicolosi Asmundo, Eugenio G. Omodeo: Global Skolemization with Grouped Quantifiers. APPIA-GULP-PRODE 1997: 405-414 | |
| 1 | Domenico Cantone | [1] [2] [4] |
| 2 | Eugenio G. Omodeo | [1] |
| 3 | Elvinia Riccobene | [3] |