Robert Veroff Matthew Spinks Axiomatizing the Skew Boolean Propositional Calculus. 3-20 2006 37 J. Autom. Reasoning 1-2 http://dx.doi.org/10.1007/s10817-006-9029-y db/journals/jar/jar37.html#VeroffS06