RelBib: Proof methods for modal and intuitionistic logics

http://relbib.de/Record/013992511/Description