Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol052_iclp2016/OASIcs.ICLP.2016/OASIcs.ICLP.2016.pdf.