Ivan Chajda Miroslav Kolarík Independence of axiom system of basic algebras. 41-43 2009 13 Soft Comput. 1 http://dx.doi.org/10.1007/s00500-008-0291-2 db/journals/soco/soco13.html#ChajdaK09