1. Classical gentzen-type methods in propositional many-valued logics;Avron,2001
2. Resolution theorem proving;Bachmair,2001
3. A logic covering undefinedness in program proofs;Barringer;Acta Inform.,1984
4. Mathematical Logic for Computer Science;Ben-Ari,2012
5. Proof in VDM: A Practitioner's Guide, FACIT;Bicarregui,1994