Mark E. Stickel, Hantao Zhang: Studying Quasigroup Identities by Rewriting Techniques: Problems and First Results. RTA 1995: 450-456