Nikolov, A.; Vilhuber, L. Program for TPDP 2018. JPC 2018, 10.