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