On the complexity of timed pattern matching
scientific article; zbMATH DE number 7497998
scientific article