MuggletonB88'

@inproceedings{DBLP:conf/icml/MuggletonB88,
  author    = {Stephen Muggleton and
               Wray L. Buntine},
  title     = {Machine Invention of First Order Predicates by Inverting
               Resolution},
  booktitle = {ML},
  year      = {1988},
  pages     = {339-352},
  crossref  = {DBLP:conf/icml/1988},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/icml/1988,
  editor    = {John E. Laird},
  title     = {Machine Learning, Proceedings of the Fifth International
               Conference on Machine Learning, Ann Arbor, Michigan, USA,
               June 12-14, 1988},
  booktitle = {ICML},
  publisher = {Morgan Kaufmann},
  year      = {1988},
  isbn      = {0-934613-64-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}