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

{"_id":{"_str":"53422921efd74afa0900000c"},"__v":34,"authorIDs":["5456dccd8b01c81930000008","5457cdbc2abc8e9f3700075e","5457d8d22abc8e9f370007f7"],"author_short":["Amir, E.","McIlraith, S. A.","Kautz, H.","Selman, B."],"bibbaseid":"amir-mcilraith-kautz-selman-theoremprovingwithstructuredtheoriespreliminaryreport-2001","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["E."],"propositions":[],"lastnames":["Amir"],"suffixes":[]},{"firstnames":["Sheila","A."],"propositions":[],"lastnames":["McIlraith"],"suffixes":[]},{"firstnames":["Henry"],"propositions":[],"lastnames":["Kautz"],"suffixes":[]},{"firstnames":["Bart"],"propositions":[],"lastnames":["Selman"],"suffixes":[]}],"title":"Theorem Proving with Structured Theories (Preliminary Report)","series":"Electronics Notes in Discrete Mathematics","booktitle":"Proceedings of LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001)","month":"June 14-15","url":"ami-mci-sat01b.pdf","year":"2001","bibtex":"@inproceedings{ sat01ws,\n author = {E. Amir and Sheila A. McIlraith and Henry Kautz and Bart Selman},\n title = {Theorem Proving with Structured Theories (Preliminary Report)},\n series = {Electronics Notes in Discrete Mathematics},\n booktitle = {Proceedings of LICS 2001 Workshop on Theory and Applications of Satisfiability Testing (SAT 2001)},\n month = {June 14-15},\n url = {ami-mci-sat01b.pdf} ,\n year = {2001}\n}\n\n\n","author_short":["Amir, E.","McIlraith, S. A.","Kautz, H.","Selman, B."],"key":"sat01ws","id":"sat01ws","bibbaseid":"amir-mcilraith-kautz-selman-theoremprovingwithstructuredtheoriespreliminaryreport-2001","role":"author","urls":{"Paper":"http://data.bibbase.org/author/e-amir/ami-mci-sat01b.pdf"},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://data.bibbase.org/author/e-amir/?format=bibtex","downloads":0,"keywords":[],"search_terms":["theorem","proving","structured","theories","preliminary","report","amir","mcilraith","kautz","selman"],"title":"Theorem Proving with Structured Theories (Preliminary Report)","year":2001,"dataSources":["aHjLRP5X4bhCciMAJ"]}