A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of Quandles.

Robert W. McGrail, Thuy Trang Nguyen, Thanh Thuy Trang Tran, Atri Tripathi

Browse the full SYNASC paper archive.