LP: The Larch Prover.

Stephen J. Garland, John V. Guttag

Browse the full CADE paper archive.