Klyachko, A. A.; Menshova, E. V. The Identities of Additive Binary Arithmetics. Electron. J. Combin. 2012, 19, P40.