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