@phdthesis{basesearch-9575,
  title = {Answer Set Programming Modulo Theories},
  author = {Michael Bartholomew},
  year = {2016},
  url = {https://www.base-search.net/Record/ed8c47e510d82189c83c4c4b04858dc41a3ecd042861959d98ec901708d3c0f0},
  note = {base-search.net (ftarizonastateun:item:38710)},
  researchr = {https://researchr.org/publication/basesearch-9575},
  cites = {0},
  citedby = {0},
  school = {Arizona State University, Tempe, USA},
}