Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol032-cmn2013/OASIcs.CMN.2013/OASIcs.CMN.2013.pdf.