Manuel Baclet Claire Pagetti Around Hopcroft's Algorithm. 114-125 2006 conf/wia/2006 CIAA http://dx.doi.org/10.1007/11812128_12 db/conf/wia/ciaa2006.html#BacletP06