TY  - JOUR
AU  - R. McFadden
AU  - E. Lusk
TI  - Using automated reasoning tools: A study of the semigroup F2B2.
JO  - Semigroup forum
PY  - 1987
SP  - 75
EP  - 88
VL  - 36
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SF_1987__36_134887/
ID  - SF_1987__36_134887
ER  -