Domenico Cantone, Pietro Maugeri. Complexity Results for Some Fragments of Set Theory Involving the Unordered Cartesian Product Operator. In Giuseppa Castiglione, Marinella Sciortino, editors, Proceedings of the 24th Italian Conference on Theoretical Computer Science, Palermo, Italy, September 13-15, 2023. Volume 3587 of CEUR Workshop Proceedings, pages 283-298, CEUR-WS.org, 2023. [doi]
Abstract is missing.