Alípio Jorge Pavel Brazdil Integrity Constraints in ILP Using a Monte Carlo Approach. 229-244 1996 conf/ilp/1996 Inductive Logic Programming Workshop db/conf/ilp/ilp96.html#JorgeB96 http://dx.doi.org/10.1007/3-540-63494-0_58