%0 Journal Article
%A R. McFadden
%A E. Lusk
%T Using automated reasoning tools: A study of the semigroup F2B2.
%J Semigroup forum
%D 1987
%P 75-88
%V 36
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SF_1987__36_134887/
%F SF_1987__36_134887