Barbara Jobstmann Stefan Staber Andreas Griesmayer Roderick Bloem 441-460 2012 78 J. Comput. Syst. Sci. 2 https://doi.org/10.1016/j.jcss.2011.05.005 db/journals/jcss/jcss78.html#JobstmannSGB12