Varieties with modular and distributive lattices of symmetric or reflexive relations Ivan Chajda (1992) Czechoslovak Mathematical Journal