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