Title of article
Superposition with equivalence reasoning and delayed clause normal form transformation
Author/Authors
Harald Ganzinger، نويسنده , , Jurgen Stuber، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2005
Pages
21
From page
3
To page
23
Keywords
Automated theorem proving , Rewriting , Clause-normal-form transformation , Superposition , Paramodulation , First-order logic , set theory , Logical equivalence , Deduction
Journal title
Information and Computation
Serial Year
2005
Journal title
Information and Computation
Record number
262285
Link To Document