Implementing Different Proof Calculi for First-order Modal Logics.

Christoph Benzmller, Jens Otten, Thomas Raths

Browse the full CADE paper archive.