How to Prove Inductive Theorems? QUODLIBET! - Jürgen Avenhaus; Ulrich Kühler; Tobias Schmidt-Samoa; Claus-Peter Wirth (CADE, 2003)

An Even Closer Integration of Linear Arithmetic into Inductive Theorem Proving. - Tobias Schmidt-Samoa (Calculemus, 2005)

Flexible heuristic control for combining automation and user-interaction in inductive theorem proving. - Tobias Schmidt-Samoa (2005)

Flexible heuristics for simplification with conditional lemmas by marking formulas as forbidden, mandatory, obligatory, and generous. - Tobias Schmidt-Samoa (J. Appl. Non Class. Logics, 2006)