Jörg-Uwe Kietz Some Lower Bounds for the Computational Complexity of Inductive Logic Programming. 115-123 1993 conf/ecml/1993 ECML db/conf/ecml/ecml93.html#Kietz93 http://dx.doi.org/10.1007/3-540-56602-3_131