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

by Yu L Ershov
Venue:Algebra i Logika