. "Girlando, Marianna" . "2020-06-06"^^ . "MOIN: A Nested Sequent Theorem Prover for Intuitionistic Modal Logics (System Description)" . . "1f2ecf56f75508704aa31cbbd51a04197e90e749" . . "PMC" . "Stra\u00DFburger, Lutz" . . "Automated Reasoning" . . "10.1007/978-3-030-51054-1_25" . . "PMC7324060" . . "no-cc" . .