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 (SYNASC, 2018)