@InProceedings{	  barlee14b,
  author	= "M. Bartholomew and J. Lee",
  title		= "System aspmt2smt: Computing {ASPMT} Theories by {SMT}
		  Solvers",
  pages		= "529-542",
  crossref	= "jelia14"
}

{"_id":"cXK84iu9AJjwz67GL","bibbaseid":"bartholomew-lee-systemaspmt2smtcomputingaspmttheoriesbysmtsolvers","downloads":0,"creationDate":"2016-08-22T10:51:33.978Z","title":"System aspmt2smt: Computing ASPMT Theories by SMT Solvers","author_short":["Bartholomew, M.","Lee, J."],"year":null,"bibtype":"inproceedings","biburl":"http://www.cs.uni-potsdam.de/~torsten/tmp/tmp.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["M."],"propositions":[],"lastnames":["Bartholomew"],"suffixes":[]},{"firstnames":["J."],"propositions":[],"lastnames":["Lee"],"suffixes":[]}],"title":"System aspmt2smt: Computing ASPMT Theories by SMT Solvers","pages":"529-542","crossref":"jelia14","bibtex":"@InProceedings{\t barlee14b,\n author\t= \"M. Bartholomew and J. Lee\",\n title\t\t= \"System aspmt2smt: Computing {ASPMT} Theories by {SMT}\n\t\t Solvers\",\n pages\t\t= \"529-542\",\n crossref\t= \"jelia14\"\n}\n\n","author_short":["Bartholomew, M.","Lee, J."],"key":"barlee14b","id":"barlee14b","bibbaseid":"bartholomew-lee-systemaspmt2smtcomputingaspmttheoriesbysmtsolvers","role":"author","urls":{},"downloads":0},"search_terms":["system","aspmt2smt","computing","aspmt","theories","smt","solvers","bartholomew","lee"],"keywords":[],"authorIDs":[],"dataSources":["9j2A2CHeS829AvBXf"]}