LOGICALC: An Environment for Interactive Proof Development.

D. Duchier, Drew V. McDermott

Browse the full CADE paper archive.