Otto, F. (1986). On deciding the confluence of a finite string rewriting system on a given congruence class. Kaiserslautern: Universität Kaiserslautern.
Chicago Style CitationOtto, F. On Deciding the Confluence of a Finite String Rewriting System On a Given Congruence Class. Kaiserslautern: Universität Kaiserslautern, 1986.
MLA CitationOtto, F. On Deciding the Confluence of a Finite String Rewriting System On a Given Congruence Class. Kaiserslautern: Universität Kaiserslautern, 1986.
Warning: These citations may not always be 100% accurate.