Text this: Automatization of proof-search for a fragment of the first-order linear tense logic