Integrating Specialized Procedures in Proof Systems.

Vishal Sikka

Browse the full AAAI paper archive.