The QMLTP Problem Library for First-Order Modal Logics. - Raths, Thomas; Otten, Jens (2012)