1. Bignall, R.J., Leech, J.: Skew Boolean algebras and discriminator varieties. Algebra Univers. 33, 387–398 (1995)
2. Bignall, R.J., Spinks, M.: Propositional skew Boolean logic. In: Proc. 26th International Symposium on Multiple-valued Logic, pp. 43–48. IEEE Computer Soc. Press (1996)
3. Bignall, R.J., Spinks, M.: Implicative BCS-algebra subreducts of skew Boolean algebras. Sci. Math. Jpn. 58, 629–638 (2003)
4. Bignall, R.J., Spinks, M.: On binary discriminator varieties, I: implicative BCS-algebras. Int. J. Algebra Comput. (in press)
5. Birkhoff, G.: Lattice Theory, 3rd edn. AMS Colloquium Publications 25, Providence (1967)