The ILTP Library: Benchmarking Automated Theorem Provers for Intuitionistic Logic. - Thomas Raths; Jens Otten; Christoph Kreitz (TABLEAUX, 2005)

The ILTP Problem Library for Intuitionistic Logic. - Thomas Raths; Jens Otten; Christoph Kreitz (J. Autom. Reason., 2007)

randoCoP: Randomizing the Proof Search Order in the Connection Calculus. - Thomas Raths; Jens Otten (PAAR/ESHOL, 2008)

Implementing and Evaluating Theorem Provers for First-Order Modal Logics. - Thomas Raths; Jens Otten (TABLEAUX (Workshops, Tutorials, and Short Papers), 2011)

Implementing Different Proof Calculi for First-order Modal Logics. - Christoph Benzmüller; Jens Otten; Thomas Raths (PAAR@IJCAR, 2012)

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

Implementing and Evaluating Provers for First-order Modal Logics. - Christoph Benzmüller; Jens Otten; Thomas Raths (ECAI, 2012)

FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends - Christoph Benzmueller; Thomas Raths (CoRR, 2012)

HOL Based First-Order Modal Logic Provers. - Christoph Benzmüller; Thomas Raths (LPAR, 2013)

Problem Libraries for Non-Classical Logics. - Jens Otten; Thomas Raths (ARQNL@IJCAR, 2014)