Journal of Automata, Languages and Combinatorics formerly:
|
@article{jalc120406, author = {Johannes Waldmann}, title = {Weighted Automata for Proving Termination of String Rewriting}, journal = jalc, year = 2007, volume = 12, number = 4, pages = {545--570} }