Towards Tableau-Based Decision Procedures for Non-Well-Founded Fragments of Set Theory.

Carla Piazza, Alberto Policriti

Browse the full TABLEAUX paper archive.