"Some Remarks on the Completed Database."

Kenneth Kunen (1988)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics