Omar Montano-Rivas Roy L. McCasland Lucas Dixon Alan Bundy Scheme-Based Synthesis of Inductive Theories. 348-361 2010 MICAI (1) http://dx.doi.org/10.1007/978-3-642-16761-4_31 conf/micai/2010-1 db/conf/micai/micai2010-1.html#Montano-RivasMDB10