KaufmannM97'

BibTeX

@article{DBLP:journals/tse/KaufmannM97,
  author    = {Matt Kaufmann and
               J. Strother Moore},
  title     = {An Industrial Strength Theorem Prover for a Logic Based
               on Common Lisp},
  journal   = {IEEE Trans. Software Eng.},
  volume    = {23},
  number    = {4},
  year      = {1997},
  pages     = {203-213},
  ee        = {http://www.computer.org/tse/ts1997/e0203abs.htm},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}