### 7 papers:

- PODS-2013-Wong #calculus #power of #relational #set
- A dichotomy in the intensional expressive power of nested relational calculi augmented with aggregate functions and a powerset operator (LW), pp. 285–296.
- SAS-2004-Schmidt #approximate #logic
- Closed and Logical Relations for Over- and Under-Approximation of Powersets (DAS), pp. 22–37.
- VMCAI-2004-BagnaraHZ #set
- Widening Operators for Powerset Domains (RB, PMH, EZ), pp. 135–148.
- TACAS-2001-CimattiRB #automaton #model checking #set
- Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking (AC, MR, PB), pp. 313–327.
- PODS-1994-SuciuP #algebra #algorithm #exponential #set #transitive
- Any Algorithm in the Complex Object Algebra with Powerset Needs Exponential Space to Compute Transitive Closure (DS, JP), pp. 201–209.
- ILPS-1994-FileR #abstract interpretation #set
- Improving Abstract Interpretations by Systematic Lifting to the Powerset (GF, FR), pp. 655–669.
- SIGMOD-1988-GyssensG #algebra #programming #relational #set
- The Powerset Algebra as a Result of Adding Programming Constructs to the Nested Relational Algebra (MG, DVG), pp. 225–232.