On the Convexity of a Fragment of Pure Set Theory with Applications within a Nelson-Oppen Framework
- 16 September 2021
- journal article
- Published by Open Publishing Association in Electronic Proceedings in Theoretical Computer Science
- Vol. 346, 195-210
- https://doi.org/10.4204/eptcs.346.13