InKreSAT: Modal Reasoning via Incremental Reduction to SAT.

Mark Kaminski, Tobias Tebbi

Browse the full CADE paper archive.