@phdthesis{ethos-11423,
  title = {LoCo: a logic for configuration problems},
  author = {Markus Aschinger},
  year = {2014},
  url = {http://ora.ox.ac.uk/objects/uuid:728d1918-e5f2-4c02-849a-115aecde856a},
  note = {British Library, EThOS},
  researchr = {https://researchr.org/publication/ethos-11423},
  cites = {0},
  citedby = {0},
  school = {University of Oxford, UK},
}