Term Definable Classes of Boolean Functions and Frame Definability in Modal Logic. - Miguel Couceiro; Lauri Hella; Jari Kivelä (Log. J. IGPL, 2008)