D. Duchier Drew V. McDermott LOGICALC: An Environment for Interactive Proof Development. 121-130 1988 conf/cade/1988 CADE db/conf/cade/cade88.html#DuchierM88 http://dx.doi.org/10.1007/BFb0012827