A. A. Klyachko and E. V. Menshova, “The Identities of Additive Binary Arithmetics”, Electron. J. Combin., vol. 19, no. 1, p. P40, Feb. 2012.