Luka Mikec, Fedor Pakhomov, Mladen Vukovic: Complexity of the interpretability logic IL. Log. J. IGPL 27(1): 1-7 (2019)