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