Dean Hoffman Peter Johnson Nadine Wilson 115-121 2005 54 J. Algorithms 1 http://dx.doi.org/10.1016/j.jalgor.2004.04.003 db/journals/jal/jal54.html#HoffmanJW05