Media type: E-Article Title: A Quadratic Reduction of Constraints over Nested Sets to Purely Boolean Formulae in CNF Contributor: Cantone, Domenico [VerfasserIn]; Domenico, Andrea De [VerfasserIn]; Maugeri, Pietro [VerfasserIn]; Omodeo, Eugenio G. [VerfasserIn] imprint: 2020 Published in: Italian Conference on Computational Logic (35. : 2020 : Online): CILC 2020: proceedings of CILC 2020 ; (2020), Seite 214-230 Language: English Origination: Footnote: Access State: Open Access