Das Karlsruher Beweissystem.

Norbert Eisinger, Jrg H. Siekmann, Gert Smolka, E. Unvericht, Christoph Walther

Browse the full GI paper archive.