"LOGICALC: An Environment for Interactive Proof Development."

D. Duchier, Drew V. McDermott (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics