Decidability and Boolean representations/
Stanley Burris and Ralph McKenzie.
- Providence, R.I.: American Mathematical Society, 1981.
- vii, 106 p. ; 26 cm.
- Memoirs of the American Mathematical Society; no. 246. .
Includes bibliographies.
Decidable varieties with modular congruence lattices -- Boolean representable varieties.