[1]
C. Dobraunig, “Isap v2.0”, ToSC, vol. 2020, no. S1, pp. 390-416, Jun. 2020.