Robinson68'

BibTeX

@inproceedings{DBLP:conf/ifip/Robinson68,
  author    = {John Alan Robinson},
  title     = {New directions in mechanical theorem proving},
  booktitle = {IFIP Congress (1)},
  year      = {1968},
  pages     = {63-69},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}