The QMLTP Problem Library for First-Order Modal Logics.

Thomas Raths, Jens Otten

Browse the full CADE paper archive.