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