Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol037-scor2014/OASIcs.SCOR.2014.76/OASIcs.SCOR.2014.76.pdf.