Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces
complexity of MSO-definable local temporal logics over concurrent systems
scientific article; zbMATH DE number 5772401
scientific article