Sciweavers

Share
CADE
2003
Springer

Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation

9 years 8 months ago
Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation
Harald Ganzinger, Jürgen Stuber
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2003
Where CADE
Authors Harald Ganzinger, Jürgen Stuber
Comments (0)
books