@phdthesis{ duchier-phd,
  title = {LogiCalc: an Environment for Interactive Proof Development},
  author = {Denys Duchier},
  school = {Yale University},
  month = oct,
  year = {1991}}