An until hierarchy and other applications of an Ehrenfeucht-Fraïssé game for temporal logic
scientific article; zbMATH DE number 1853111
scientific article