An Application-independent Support System for Integrated Assumption-based Temporal Reasoning. - Clemens Beckstein; Tim Geisler (TIME, 1994)

The theorem prover SATCHMO : strategies, heuristics and applications. - Slim Abdennadher; François Bry; Norbert Eisinger; Tim Geisler (JFPLC, 1995)

Logic Implemented Functionally. - Norbert Eisinger; Tim Geisler; Sven Panne (PLILP, 1997)

Satchmo - The Compiling and Functional Variants. - Tim Geisler; Sven Panne; Heribert Schütz (J. Autom. Reason., 1997)

Efficient Model Generation through Compilation. - Heribert Schütz; Tim Geisler (Inf. Comput., 2000)