Theorem Proving with Structured Theories.

Sheila A. McIlraith, Eyal Amir

Browse the full IJCAI paper archive.