Implementing and Evaluating Provers for First-order Modal Logics.

Christoph Benzmller, Jens Otten, Thomas Raths

Browse the full ECAI paper archive.