APA (7th ed.) Citation

Göbel, R. (1983). A completion procedure for globally finite term rewriting systems.

Chicago Style (17th ed.) Citation

Göbel, Richard. A Completion Procedure for Globally Finite Term Rewriting Systems. Kaiserslautern, 1983.

MLA (9th ed.) Citation

Göbel, Richard. A Completion Procedure for Globally Finite Term Rewriting Systems. 1983.

Warning: These citations may not always be 100% accurate.