Christian Glaßer Mitsunori Ogihara Aduri Pavan Alan L. Selman Liyu Zhang 735-754 2007 73 J. Comput. Syst. Sci. 5 http://dx.doi.org/10.1016/j.jcss.2006.10.020 db/journals/jcss/jcss73.html#GlasserOPSZ07