Atomless varieties - Venema, Yde (Inst. for Logic, Language and Computation, 2002)