Learning from Łukasiewicz and Meredith: Investigations into Proof Structures.

Christoph Wernhard, Wolfgang Bibel

Browse the full CADE paper archive.