Computational Logic and Set Theory: Applying