Efficient pattern searching over large dictionaries. A faster algorithm for the two-center decision problem. The generalized supplementary magic-sets transformation for stratified Datalog. Wen-Huei Chen and Chuan Yi Tang . Dany Breslauer , Livio Colussi , and Laura Toniolo .
Tight comparison bounds for the string prefix-matching problem.
On the union of 0L languages. Robert Nieuwenhuis . Simple LPO constraint solving methods. Greg N. Frederickson , Susanne E. Hambrusch , and Hung-Yi Tu . Shortest path computations in source-deplanarized graphs.