Georg Gottlob Nicola Leone Francesco Scarcello On the Complexity of Some Inductive Logic Programming Problems. 53-75 1999 17 New Generation Comput. 1 db/journals/ngc/ngc17.html#GottlobLS99