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