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