Gauvain Bourgne Amal El Fallah-Seghrouchni Nicolas Maudet Towards refinement of abductive or inductive hypotheses through propagation. 289-306 2009 7 J. Applied Logic 3 http://dx.doi.org/10.1016/j.jal.2008.10.003 db/journals/japll/japll7.html#BourgneFM09