Mathieu Serrurier Henri Prade Improving inductive logic programming by using simulated annealing. 1423-1441 2008 178 Inf. Sci. 6 http://dx.doi.org/10.1016/j.ins.2007.10.015 db/journals/isci/isci178.html#SerrurierP08