@inproceedings{DBLP:conf/rta/EscobarMS08, author = {Santiago Escobar and Jos{\'e} Meseguer and Ralf Sasse}, title = {Effectively Checking the Finite Variant Property}, booktitle = {RTA}, year = {2008}, pages = {79-93}, ee = {http://dx.doi.org/10.1007/978-3-540-70590-1_6}, crossref = {DBLP:conf/rta/2008}, bibsource = {DBLP, http://dblp.uni-trier.de} } @proceedings{DBLP:conf/rta/2008, editor = {Andrei Voronkov}, title = {Rewriting Techniques and Applications, 19th International Conference, RTA 2008, Hagenberg, Austria, July 15-17, 2008, Proceedings}, booktitle = {RTA}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, volume = {5117}, year = {2008}, isbn = {978-3-540-70588-8}, bibsource = {DBLP, http://dblp.uni-trier.de} }