Decidability of the elementary theory of distributive lattices with relative complements and the theory of filters, Algebra i Logika 3 (1964)

by Yu L Ershov