PAC-learnability of determinate logic programs Duzeroski S. Muggleton S. H. Russell S. J. 1992

In COLT-92, pp. 128–135.