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)