On the completeness and decidability of the Horn-like fragment of the first-order linear temporal logic
scientific article; zbMATH DE number 1912594