Alonderis, R. (2003) “Automatization of proof-search for a fragment of the first-order linear tense logic”, Lietuvos matematikos rinkinys, 43(spec.), pp. 423–428. doi:10.15388/LMR.2003.32469.