Frank M. Brown A Sequent Calculus for Modal Quantificational Logic. 56-65 1978 AISB/GI (ECAI) db/conf/ecai/ecai78.html#Brown78