Uniqueness of Steiner laws on cubic curves. Padmanabhan, R., McCune, W. (2006) Beiträge zur Algebra und Geometrie
Using automated reasoning tools: A study of the semigroup F2B2. R. McFadden, E. Lusk (1987) Semigroup forum