@inproceedings{FrankHofstedtMai2011, author = {Stephan Frank and Petra Hofstedt and Pierre R. Mai}, title = {A Case Study on Termination}, booktitle = {Termination, 6th International Workshop, WST 2003, Valencia, Spain, June 13 - 14, 2003, proceedings}, editor = {Albert Rubio}, pages = {49 -- 51}, year = {2011}, }