Proceedings of the American Mathematical Society, Vol. 77, No. 3 (Dec., 1979), pp. 319-323 (5 pages) An algorithm is given for determining whether or not a finite ...