@techreport{L79,
 author    = "Dallas Lankford",
 title     = "On Proving Term Rewrite Systems are {N}oetherian",
 number    = "MTP-3",
 institution = "Louisiana Technical University",
 address   = "Ruston, LA, USA",
 year      = 1979
}

@inproceedings{MMT24,
 author    = "Fabian Mitterwallner and Aart Middeldorp and Ren{\'e} Thiemann",
 title     = "Linear Termination is Undecidable",
 booktitle = "Proceedings of the 39th Annual {IEEE} Symposium on Logic in
              Computer Science",
 publisher = "{IEEE} Computer Society",
 year      = 2024, 
 note       = "To appear"
}

@inproceedings{M70,
 title     = "Enumerable Sets are Diophantine (translated from {R}ussian)",
 author    = "Yuri Y. Matijasevic",
 booktitle = "Soviet Mathematics Doklady",
 volume    = 11,
 pages     = "354--358",
 year      = 1970
}

