%0 Journal Article %1 richards95 %A Richards, B. %A Mooney, R. %D 1995 %J Machine Learning %K ml %N 2 %P 95-131 %T Automated Refinement of First-Order Horn-Clause Domain Theories %V 19

@article{richards95, added-at = {2016-11-26T13:10:09.000+0100}, author = {Richards, B. and Mooney, R.}, biburl = {https://www.bibsonomy.org/bibtex/229e8830ff35c6beb6f340c7478f98f26/machinelearning}, interhash = {3c7be3718a7be14e35d4cc22ef429f6a}, intrahash = {29e8830ff35c6beb6f340c7478f98f26}, journal = {Machine Learning}, keywords = {ml}, number = 2, pages = {95-131}, timestamp = {2016-11-26T13:17:02.000+0100}, title = {Automated Refinement of First-Order Horn-Clause Domain Theories}, volume = 19, year = 1995 }