Using automated reasoning tools: A study of the semigroup F2B2. R. McFadden; E. Lusk — 1987 Semigroup forum