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