"Definable sets in Stone algebras."

Lei Chen, Niandong Shi, Guohua Wu (2016)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics