Evolutionary Logic Programming with RISC. - Clemens Beckstein; Gerhard Tobermann (LPE, 1992)

What's in a Trace: The Box Model Revisited. - Gerhard Tobermann; Clemens Beckstein (AADEBUG, 1993)

Verallgemeinerte Hornklausellogik: vom logischen Kalkül zum Logik-Programmiersystem. - Gerhard Tobermann (1994)

Algorithmic Debugging with RISC. - Gerhard Tobermann; Clemens Beckstein (AADEBUG, 1995)

Algorithmic Debugging and Hypothetical Reasoning. - Clemens Beckstein; Gerhard Tobermann (Autom. Softw. Eng., 1997)