Marta Cialdea Herbrand style proof procedures for modal logic. 1993 3 Journal of Applied Non-Classical Logics 2 db/journals/jancl/jancl3.html#Cialdea93 http://dx.doi.org/10.1080/11663081.1993.10510808 205-223