ALONDERIS, R. Automatization of proof-search for a fragment of the first-order linear tense logic. Lietuvos matematikos rinkinys, v. 43, n. spec., p. 423–428, 22 Dec.2003.