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