Oleg Pikhurko Jerzy Wojciechowski 35-43 2006 369 Theor. Comput. Sci. 1-3 http://dx.doi.org/10.1016/j.tcs.2006.06.018 db/journals/tcs/tcs369.html#PikhurkoW06