Automated Termination Analysis for Term Rewriting
Nao HirokawaPhD thesis, University of Innsbruck, 2006.
BibTeX
@phdthesis{HN06,
author = "Nao Hirokawa",
title = "Automated Termination Analysis for Term Rewriting",
school = "University of Innsbruck",
year = 2006
}