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