LOGICALC: An Environment for Interactive Proof Development. - D. Duchier; Drew V. McDermott (CADE, 1988)