Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol045_cmn2015/OASIcs.CMN.2015/OASIcs.CMN.2015.pdf.