%0 Journal Article %1 journals/acta/OttoZ91 %A Otto, Friedrich %A Zhang, Louxin %D 1991 %J Acta Inf. %K dblp %N 5 %P 477-510 %T Decision Problems for Finite Special String-Rewriting Systems that are Confluent on Some Congruence Class. %U http://dblp.uni-trier.de/db/journals/acta/acta28.html#OttoZ91 %V 28

@article{journals/acta/OttoZ91, added-at = {2012-09-23T00:00:00.000+0200}, author = {Otto, Friedrich and Zhang, Louxin}, biburl = {https://www.bibsonomy.org/bibtex/2703301ca3a0cc18a4557579b11bcd232/dblp}, ee = {http://dx.doi.org/10.1007/BF01178585}, interhash = {59982120863d37bb93bb71e73029c468}, intrahash = {703301ca3a0cc18a4557579b11bcd232}, journal = {Acta Inf.}, keywords = {dblp}, number = 5, pages = {477-510}, timestamp = {2012-09-25T11:34:30.000+0200}, title = {Decision Problems for Finite Special String-Rewriting Systems that are Confluent on Some Congruence Class.}, url = {http://dblp.uni-trier.de/db/journals/acta/acta28.html#OttoZ91}, volume = 28, year = 1991 }