Using automated reasoning tools: A study of the semigroup f2b2 (1987)

by E Lusk, R McFadden
Venue:Semigroup Forum