R. Alonderis, “Completeness classes for intuitionistic first-order temporal logic with time gaps”, LMR, vol. 45, no. spec., pp. 309–315, Nov. 2023, doi: 10.15388/LMR.2005.26671.