Towards tableau-based decision procedures for non-well-founded fragments of set theory

PIAZZA, Carla

POLICRITI, Alberto