Journal of Automata, Languages and Combinatorics formerly:
|
@article{jalc110104, author = {S\'ebastien Limet and Gernot Salzer}, title = {Basic Rewriting via Logic Programming, with an Application to the Reachability Problem}, journal = jalc, year = 2006, volume = 11, number = 1, pages = {107--142} }