Basic Rewriting via Logic Programming, with an Application to the Reachability Problem.

Sébastien Limet Gernot Salzer Basic Rewriting via Logic Programming, with an Application to the Reachability Problem. 107-142 2006 11 Journal of Automata, Languages and Combinatorics 1 db/journals/jalc/jalc11.html#LimetS06