Klyachko, Anton A., and Ekaterina V. Menshova. 2012. “The Identities of Additive Binary Arithmetics”. The Electronic Journal of Combinatorics 19 (1), P40. https://doi.org/10.37236/2044.