Christiano Braga Special issue: LSFA'06. 93-94 2007 62 J. Algorithms 3-4 http://dx.doi.org/10.1016/j.jalgor.2007.05.001 db/journals/jal/jal62.html#Braga07