Vasco Brattka Peter Hertling Ker-I Ko Hideki Tsuiki 728 2006 22 J. Complexity 6 http://dx.doi.org/10.1016/j.jco.2006.10.001 db/journals/jc/jc22.html#BrattkaHKT06