search author

DBLP BibTeX Record 'conf/adbt/HenschenMN82'

@inproceedings{DBLP:conf/adbt/HenschenMN82,
  author    = {Lawrence J. Henschen and
               William McCune and
               Shamim A. Naqvi},
  title     = {Compiling Constraint-Checking Programs from First-Order
               Formulas},
  booktitle = {Advances in Data Base Theory},
  year      = {1982},
  pages     = {145-169},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}