@phdthesis{basesearch-5328,
  title = {Conflict-driven constraint answer set solving},
  author = {Christian Drescher},
  year = {2015},
  url = {https://www.base-search.net/Record/0facca094c78c54c3c5156256de4406ec6be4dbba1e807f90a07cd85e7df26e7},
  note = {base-search.net (ftunswworks:oai:unsworks.unsw.edu.au:1959.4/54397)},
  researchr = {https://researchr.org/publication/basesearch-5328},
  cites = {0},
  citedby = {0},
  school = {University of New South Wales, Sydney, Australia},
}