RelBib: Proof methods for modal and intuitionistic logics https://relbib.de/Record/013992511?lng=de&print=1