Sven Panne

发表

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

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

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

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

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

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