Redirecting to https://drops.dagstuhl.de/storage/01oasics/oasics-vol061_sosa2018/OASIcs.SOSA.2018.4/OASIcs.SOSA.2018.4.pdf.