Quadroject: A formal resolution framework for self-contradictory systems | Synapse