Sven Panne

The haskell 98 foreign function interface 1

Manuel M. T. Chakravarty, Daan Leijen, Fergus Henderson, 2003 .

Logic Implemented Functionally

Norbert Eisinger, Tim Geisler, Sven Panne, 1997, PLILP.

Satchmo - The Compiling and Functional Variants

Tim Geisler, Sven Panne, Heribert Schütz, 1997, Journal of Automated Reasoning.

SatAM -- Satchmo Abstract Machine (System Description)

Tim Geisler, Sven Panne, Alexander von Drach, 1998 .

An Abstract Machine for Model Generation with PUHR Tableaux

Tim Geisler, Sven Panne, Alexander von Drach, 1998 .

Satchmo: Minimal Model Generation and Compilation (System Description)

Norbert Eisinger, François Bry, Sunna Torge, 1996 .