AngluinFP90'

BibTeX

@inproceedings{DBLP:conf/colt/AngluinFP90,
  author    = {Dana Angluin and
               Michael Frazier and
               Leonard Pitt},
  title     = {Learning Conjunctions of Horn Clauses (Abstract)},
  booktitle = {COLT},
  year      = {1990},
  pages     = {387},
  ee        = {http://portal.acm.org/citation.cfm?id=92571.92675},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}