Marta Cialdea Some Remarks on the Possibility of Extending Resolution Proof Procedures to Intuitionistic Logic. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 1986, v:22, n:2, pp:87-90 [Journal]
Marta Cialdea Herbrand style proof procedures for modal logic. [Citation Graph (0, 0)][DBLP] Journal of Applied Non-Classical Logics, 1993, v:3, n:2, pp:- [Journal]