Colin de la Higuera Jean-Christophe Janodet Inference of omega-Languages from Prefixes. 364-378 2001 conf/alt/2001 ALT http://dx.doi.org/10.1007/3-540-45583-3_27 db/conf/alt/alt2001.html#HigueraJ01