Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI) GIESL J.,Automated Termination Proofs with AProVE,"Proceedings of the 15th International Conference on Rewriting Techniques and Applications, RTA-04",,,2004,,,,https://cir.nii.ac.jp/crid/1570291225289321984,