Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol062-slate2018/OASIcs.SLATE.2018.7/OASIcs.SLATE.2018.7.pdf.