Querying streams using regular expressions: some semantics, decidability, and efficiency issues | Publicación