Francesco Bergadano Daniele Gunetti Funtional Inductive Logic Programming with Queries to the User. 323-328 1993 conf/ecml/1993 ECML db/conf/ecml/ecml93.html#BergadanoG93 http://dx.doi.org/10.1007/3-540-56602-3_145