@article{SF_1987__36_134887,
     author = {R. McFadden and E. Lusk},
     title = {Using automated reasoning tools: {A} study of the semigroup {F2B2.}},
     journal = {Semigroup forum},
     pages = {75--88},
     publisher = {mathdoc},
     volume = {36},
     year = {1987},
     zbl = {0632.68087},
     url = {http://geodesic.mathdoc.fr/item/SF_1987__36_134887/}
}