A Decidable Quantified Fragment of Set Theory Involving Ordered Pairs with Applications to Description Logics.

Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo

Browse the full CSL paper archive.