Automatization of proof-search for a fragment of the first-order linear tense logic - Alonderis, Romas (Lietuvos matematikos rinkinys, 2003)
There is not abstract.