David A. Schmidt Closed and Logical Relations for Over- and Under-Approximation of Powersets. 22-37 https://doi.org/10.1007/978-3-540-27864-1_5 2004 conf/sas/2004 SAS db/conf/sas/sas2004.html#Schmidt04