Cristopher Moore Denis Thérien François Lemieux Joshua Berman Arthur Drisko Circuits and Expressions with Nonassociative Gates. 368-394 2000 60 J. Comput. Syst. Sci. 2 db/journals/jcss/jcss60.html#MooreTLBD00 http://dx.doi.org/10.1006/jcss.1999.1673