J. Ullman and L. Vilhuber, “Program for TPDP 2017”, JPC, vol. 9, no. 2, Nov. 2018.