@MASTERSTHESIS{luecking:2004,
 AUTHOR = "Achim L{\"u}cking",
 TITLE = "Automatische Synthese von Relationen f{\"u}r Terminierungsbeweise",
 TYPE = {Diplomarbeit},
 SCHOOL = depcs,
 ADDRESS = {Aachen, Germany},
 YEAR = "2004"
}