Looking for identities on a bicyclic semigroup with computer assistance. F.G. Shleifer — 1990 Semigroup forum