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