Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP. - Uwe Egly; Thomas Eiter; Volker Klotz; Hans Tompits; Stefan Woltran (WLP, 2000)

Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results. - Uwe Egly; Thomas Eiter; Volker Klotz; Hans Tompits; Stefan Woltran (Answer Set Programming, 2001)

Modal Nonmonotonic Logics Revisited: Efficient Encodings for the Basic Reasoning Tasks. - Thomas Eiter; Volker Klotz; Hans Tompits; Stefan Woltran (TABLEAUX, 2002)

Embedding Memoization to the Semantic Tree Search for Deciding QBFs. - Mohammad Ghasemzadeh 001; Volker Klotz; Christoph Meinel (Australian Conference on Artificial Intelligence, 2004)

10 Jahre ECCC - Eine Digitale Bibliothek in weltweiter Benutzung - Volker Klotz; Christoph Meinel (Universität Trier, Mathematik/Informatik, Forschungsbericht, 2004)

The first 10 years of the ECCC digital library. - Christoph Meinel; Volker Klotz (Commun. ACM, 2006)