Markovski, S. and Sokolova, A. 2000. TERM REWRITING SYSTEM FOR SOLVING THE WORD PROBLEM FOR STEINER LOOPS. Matematichki Bilten. 24, 1 (Jan. 2000).