Contextual Rewriting in SPASS. - Christoph Weidenbach; Patrick Wischnewski (PAAR/ESHOL, 2008)

SPASS Version 3.5. - Christoph Weidenbach; Dilyana Dimova; Arnaud Fietzke; Rohit Kumar; Martin Suda 001; Patrick Wischnewski (CADE, 2009)

External Sources of Axioms in Automated Theorem Proving. - Martin Suda 001; Geoff Sutcliffe; Patrick Wischnewski; Manuel Lamotte-Schubert; Gerard de Melo (KI, 2009)

On the Saturation of YAGO. - Martin Suda 001; Christoph Weidenbach; Patrick Wischnewski (IJCAR, 2010)

Subterm contextual rewriting. - Christoph Weidenbach; Patrick Wischnewski (AI Commun., 2010)

Satisfiability Checking and Query Answering for Large Ontologies. - Christoph Weidenbach; Patrick Wischnewski (PAAR@IJCAR, 2012)

Efficient reasoning procedures for complex first-order theories. - Patrick Wischnewski (2012)

Automated verification of interactive rule-based configuration systems. - Deepak Dhungana; Ching Hoo Tang; Christoph Weidenbach; Patrick Wischnewski (ASE, 2013)

Automated Verification of Interactive Rule-Based Configuration Systems (Additional Material). - Deepak Dhungana; Ching Hoo Tang; Christoph Weidenbach; Patrick Wischnewski (CoRR, 2013)

Model-Based Variant Management with v.control. - Christopher Junk; Robert Rößger; Georg Rock; Karsten Theis; Christoph Weidenbach; Patrick Wischnewski (CE, 2015)

Compliance, Functional Safety and Fault Detection by Formal Methods. - Christof Fetzer; Christoph Weidenbach; Patrick Wischnewski (ISoLA (2), 2016)