Using Automated Reasoning Tools: A Study of the Semigroup F2B2", Semigroup Forum 36 (1987)

by E Lusk, R McFadden