@InProceedings{l95-p386-397, AUTHOR = {M. Margenstern}, TITLE = {Non-Erasing Turing Machines: A New Frontier Between a Decidable Halting Problem and Universality}, YEAR = 1995, BOOKTITLE = {Proc.~of the 2nd Latin American Symposium on Theoretical Informatics (LATIN'95)}, ADDRESS = {Valparaiso, Chile}, PAGES = {386--397}, KEYWORDS = {}}