Yves Métivier Gerard Tel Termination detection and universal graph reconstruction. 237-251 2000 conf/sirocco/2000 SIROCCO db/conf/sirocco/sirocco2000.html#MetivierT00