ShumskyWME97'

BibTeX

@inproceedings{DBLP:conf/sac/ShumskyWME97,
  author    = {Olga Shumsky and
               Ralph W. Wilkerson and
               William McCune and
               Fikret Er\c{c}al},
  title     = {Direct finite first-order model generation with negative
               constraint propagation heuristic},
  booktitle = {SAC},
  year      = {1997},
  pages     = {25-29},
  ee        = {http://doi.acm.org/10.1145/331697.331704},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}