"Some Highly Undecidable Lattices."

Menachem Magidor et al. (1990)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics