Theorem Proving with Structured Theories (Preliminary Report). Amir, E., McIlraith, S. A., Kautz, H., & Selman, B. In Proceedings of LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001), of Electronics Notes in Discrete Mathematics, June 14-15, 2001.
Theorem Proving with Structured Theories (Preliminary Report) [pdf]Paper  bibtex   

Downloads: 0