http://ruwix.com/the-rubiks-cube/

http://mathoverflow.net/questions/48449/any-cas-that-deals-with-the-word-problem

http://homepages.warwick.ac.uk/~mareg/


