[1]
G. Barthe, C. Dimitrakakis, M. Gaboardi, A. Haeberlen, A. Roth, and A. Slavković, “Program for TPDP 2016”, jpc, vol. 9, no. 1, Mar. 2019.