1. - A Reiterman theorem for pseudovarieties of finite first - order struc - tures;Pin;Algebra Universalis,1996
2. Hyperformulas and solid algebraic systems Studia Logica Hypersatisfaction of formulas in algebraic systems Discuss Gen Algebra;Denecke;Math Appl,2008
3. The Birkhoff theorem for finite algebras;Reiterman;Algebra Universalis,1982
4. Hyperidentities of a given type;Graczyńska;Algebra Universalis,1990
5. solid quasivarieties East - West;Chompoonut;Math,2002