Pre*: The Predecessors of a Regular Language w.r.t. a Context-Free Grammar, with Applications by Tassilo Lemke and Tobias Nipkow Nov 18