| |
| 1993 | ||
|---|---|---|
| 3 | Marta Cialdea: Herbrand style proof procedures for modal logic. Journal of Applied Non-Classical Logics 3(2): (1993) | |
| 1991 | ||
| 2 | Marta Cialdea: Resolution for Some First-Order Modal Systems. Theor. Comput. Sci. 85(2): 213-229 (1991) | |
| 1986 | ||
| 1 | Marta Cialdea: Some Remarks on the Possibility of Extending Resolution Proof Procedures to Intuitionistic Logic. Inf. Process. Lett. 22(2): 87-90 (1986) | |