Markovski, S., & Sokolova, A. (2000). TERM REWRITING SYSTEM FOR SOLVING THE WORD PROBLEM FOR STEINER LOOPS. Matematichki Bilten, 24(1). https://bilten.smm.org.mk/index.php/bilten/article/view/1636