"Closed and Logical Relations for Over- and Under-Approximation of Powersets."

David A. Schmidt (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics