@incollection{Nienhuys-ChengWo97subsum,
  added-at = {2009-01-08T12:56:22.000+0100},
  author = {Nienhuys-Cheng, Shan-Hwei and de Wolf, Roland},
  biburl = {http://www.bibsonomy.org/bibtex/222a114772cd1b05ef1a7184c01ae093f/emanuel},
  booktitle = {Foundations of Inductive Logic Programming},
  chapter = 5,
  interhash = {5ab6e6a9f203c10bd8ddb16329f28424},
  intrahash = {22a114772cd1b05ef1a7184c01ae093f},
  keywords = {ilp logic},
  publisher = {Springer-Verlag},
  series = {LNAI},
  timestamp = {2009-01-08T12:56:22.000+0100},
  title = {Subsumption Theorem and Refutation Completeness},
  volume = 1228,
  year = 1997
}