A Terminating and Confluent Term Rewriting System for the Pure Equational Theory of Quandles | IEEE Conference Publication | IEEE Xplore