@inproceedings{ ijcai01-final,
  title = {Theorem Proving with Structured Theories}
}
,
  url = {ijcai01-final.pdf}
}
,
  booktitle = {Proceedings of the Seventeenth International Conference on Artificial Intelligence (IJCAI-01)}
}
,
  author = {McIlraith, S. and Amir, E.}
}
,
  year = {2001}
}
,
  month = {August 4-10}
}
,
  address = {Seattle, Washington, USA}
}
,
  pages = {624-634}
}