I. Koutis, A. Levin, und R. Peng. 29th International Symposium on Theoretical Aspects of Computer Science (STACS 2012), Volume 14 von Leibniz International Proceedings in Informatics (LIPIcs), Seite 266--277. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, (2012)