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