Symbolic computation with finite quandles. - Richard Henderson; Todd Macedo; Sam Nelson (J. Symb. Comput., 2006)