Displaying similar documents to “Looking for identities on a bicyclic semigroup with computer assistance.”