A Resolution Calculus for a Logic Based on Vaguely Defined Predicates. - Detlef Fehrer (ECAI, 1990)

A Unifying Logical Framework for Reason Maintenance. - Detlef Fehrer (ECSQARU, 1993)

A unifying logical framework for Reason Maintenance. - Detlef Fehrer (1996)

Omega: Towards a Mathematical Assistant. - Christoph Benzmüller; Lassaad Cheikhrouhou; Detlef Fehrer; Armin Fiedler; Xiaorong Huang; Manfred Kerber; Michael Kohlhase; Karsten Konrad; Andreas Meier 002; Erica Melis; Wolf Schaarschmidt; Jörg H. Siekmann; et al. (CADE, 1997)

Exploiting the Addressee's Inferential Capabilities in Presenting Mathematical Proofs. - Detlef Fehrer; Helmut Horacek (IJCAI (2), 1997)

Presenting Inequations in Mathematical Proofs. - Detlef Fehrer; Helmut Horacek (Inf. Sci., 1999)

Accurate ICP-based floating-point reasoning. - Karsten Scheibler; Felix Neubauer; Ahmed Mahdi; Martin Fränzle; Tino Teige; Tom Bienmüller; Detlef Fehrer; Bernd Becker 001 (FMCAD, 2016)

Accurate Dead Code Detection in Embedded C Code by Arithmetic Constraint Solving. - Felix Neubauer; Karsten Scheibler; Bernd Becker 001; Ahmed Mahdi; Martin Fränzle; Tino Teige; Tom Bienmüller; Detlef Fehrer (SC²@SYNASC, 2016)