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