Polynomials, fragments of temporal logic and the variety DA over traces
scientific article; zbMATH DE number 5151700