@phdthesis{dnb-747,
  title = {Normalization of Horn clauses with disequality constraints},
  author = {Andreas Reuß},
  year = {2013},
  url = {http://d-nb.info/104165295X},
  researchr = {https://researchr.org/publication/dnb-747},
  cites = {0},
  citedby = {0},
  school = {Technical University Munich},
}