Ivan Bratko Refining Complete Hypotheses in ILP. 44-55 http://link.springer.de/link/service/series/0558/bibs/1634/16340044.htm 1999 conf/ilp/1999 ILP db/conf/ilp/ilp99.html#Bratko99