Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol064-iclp2018/OASIcs.ICLP.2018/OASIcs.ICLP.2018.pdf.