C. Dobraunig, “Isap v2.0”, ToSC, vol. 2020, no. S1, pp. 390–416, Jun. 2020.