@inproceedings{ duchier-cade9,
  title = {LogiCalc: an Environment for Interactive Proof Development},
  booktitle = {9th International Conference on Automated Deduction (CADE-9)},
  author = {Denys Duchier},
  month = may,
  year = {1988}}