Title of article :
Superposition with equivalence reasoning and delayed clause normal form transformation
Author/Authors :
Harald Ganzinger، نويسنده , , Jurgen Stuber، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2005
Keywords :
Automated theorem proving , Rewriting , Clause-normal-form transformation , Superposition , Paramodulation , First-order logic , set theory , Logical equivalence , Deduction
Journal title :
Information and Computation
Journal title :
Information and Computation
