Redirecting to https://drops.dagstuhl.de/storage/00lipics/lipics-vol068-icdt2017/LIPIcs.ICDT.2017.10/LIPIcs.ICDT.2017.10.pdf.