Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol104-slate2022/OASIcs.SLATE.2022.12/OASIcs.SLATE.2022.12.pdf.