Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol027-vluds2012-irtg1131/OASIcs.VLUDS.2011.13/OASIcs.VLUDS.2011.13.pdf.