Theorem proving with structured theories (2001)

by S McIlraith, E Amir
Venue:In Proc. IJCAI-01