@inproceedings{ sat01ws,
  publisher = {Elsevier Publishing}
}
,
  title = {Theorem Proving with Structured Theories (Preliminary Report)}
}
,
  url = {ami-mci-sat01b.pdf}
}
,
  series = {Electronics Notes in Discrete Mathematics}
}
,
  booktitle = {Proceedings of LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001)}
}
,
  author = {Amir, E. and McIlraith, S.}
}
,
  year = {2001}
}
,
  month = {June 14-15}
}
,
  editor = {Henry Kautz and Bart Selman}
}
,
  address = {Boston, Massachusetts, USA}
}