Tomasz Kowalski Marcus Kracht Semisimple Varieties of Modal Algebras. 351-363 2006 83 Studia Logica 1-3 http://dx.doi.org/10.1007/s11225-006-8308-2 db/journals/sLogica/sLogica83.html#KowalskiK06