author = { Narendran, Paliath Otto, Friedrich },

title = { It is decidable in polynomial time whether a monoid presented by a finite weight-reducing and confluent thue system is torsion-free },

publisher = {Fachbereich Informatik, Univ.},

keywords = { Bericht , Monoid , Darstellungstheorie },

year = {1987},

booktitle = {Interner Bericht / Fachbereich Informatik, Universität Kaiserslautern ; 173},

address = { Kaiserslautern },

url = { http://slubdd.de/katalog?TN_libero_mab2 }