MPII WWW Server, MPII FTP Server, MPG publications list, university publications list, working group publication list, Fachbeirat
BibTeX Entry:
@MASTERSTHESIS{Timm97,
AUTHOR = {Timm, Jan-Georg},
TITLE = {Testing the Satisfiability of RPO Constraints},
SCHOOL = {Universit{\"a}t des Saarlandes},
YEAR = {1997},
TYPE = {Master's thesis}
MONTH = {October},
}