@misc {IOPORT.70152633,
    author       = {Del Cerro, Luis Fari\~nas},
    title        = {A deduction method for modal logic},
    howpublished = {ECAI, 60-61 (1982).},
    year         = {1982},
    identifier   = {70152633},
}