Detecting Useless Transitions in Pushdown Automata. - Wan J. Fokkink; Dick Grune; Brinio Hond; Peter Rutgers (CoRR, 2013)

Powerful and efficient bulk shortest-path queries: cypher language extension & Giraph implementation. - Peter Rutgers; Claudio Martella; Spyros Voulgaris; Peter A. Boncz (GRADES, 2016)

Detecting useless transitions in pushdown automata. - Evangelos Chatzikalymnios; Wan J. Fokkink; Dick Grune; Brinio Hond; Peter Rutgers (Inf. Comput., 2021)