Radomír Halas A Note on Axiom System for SBL-algebras. 87-92 2009 90 Fundam. Inform. 1-2 http://dx.doi.org/10.3233/FI-2009-0007 db/journals/fuin/fuin90.html#Halas09