Haglund, B. J. Konferenser. SMT 2018, 95, 111.