Basic Paramodulation and Decidable Theories (Extended Abstract)

Robert Nieuwenhuis. Basic Paramodulation and Decidable Theories (Extended Abstract). In LICS. pages 473-482, 1996.

No reviews for this publication, yet.