On temporal logic versus Datalog
scientific article; zbMATH DE number 1965367
scientific article