Bryant, CH, "Data mining via ILP: The application of progol to a", , 1997