Saturated calculus for Horn-like sequents of a complete class of a linear temporal first order logic
scientific article; zbMATH DE number 1364697