@article{uggleton95inverse, title = {Inverse Entailment and Progol.}, author = {Stephen Muggleton}, journal = {New Generation Comput.}, number = {3&4}, pages = {245-286}, url = {http://dblp.uni-trier.de/db/journals/ngc/ngc13.html#Muggleton95}, volume = {13}, year = {1995}, biburl = {http://www.bibsonomy.org/bibtex/28656944d462faeeb2efc0a845a0d0e18/mh}, description = {dblp}, date = {2003-12-02}, keywords = {ILP Muggleton Progol article inductive_logic_programming inverse_entailment inverse_resolution relative_least_general_generalisation rlgg } }