Christophe Bourely Ricardo Caferra Nicolas Peltier A Method for Building Models Automatically. Experiments with an Extension of OTTER. 72-86 1994 conf/cade/1994 CADE db/conf/cade/cade94.html#BourelyCP94 http://dx.doi.org/10.1007/3-540-58156-1_6