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