DBLP BibTeX Record 'conf/frocos/DahnW96'

@inproceedings{DBLP:conf/frocos/DahnW96,
  author    = {Bernd I. Dahn and
               Andreas Wolf},
  title     = {Natural Language Presentation and Combination of Automatically
               Generated Proofs},
  booktitle = {FroCoS},
  year      = {1996},
  pages     = {175-192},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}