Vol-2751⫷ Vol-2752 ⫸Vol-2753
urn:nbn:de:0074-2752-0


Vol-2752/paper10⫷Vol-2752/paper11⫸Vol-2752/paper12

Boolean Reasoning in a Higher-Order Superposition Prover