Christian Stolle Andreas Karwath Luc De Raedt CLASSIC'CL: An Integrated ILP System. 354-362 2005 conf/dis/2005 Discovery Science http://dx.doi.org/10.1007/11563983_31 db/conf/dis/dis2005.html#StolleKR05