%0 Book Section %1 Nienhuys-ChengWo97subsum %A Nienhuys-Cheng, Shan-Hwei %A de Wolf, Roland %B Foundations of Inductive Logic Programming %D 1997 %I Springer-Verlag %K ilp logic %T Subsumption Theorem and Refutation Completeness %V 1228 %& 5

@incollection{Nienhuys-ChengWo97subsum, added-at = {2009-01-08T12:56:22.000+0100}, author = {Nienhuys-Cheng, Shan-Hwei and de Wolf, Roland}, biburl = {https://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 }