"Logical Aspects of Set Constraints."

Dexter Kozen (1993)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics