@phdthesis{dnb-11809,
  title = {Logic-based 0-1 constraint solving in constraint logic programming},
  author = {Peter Barth},
  year = {1995},
  url = {http://d-nb.info/944259235},
  researchr = {https://researchr.org/publication/dnb-11809},
  cites = {0},
  citedby = {0},
  school = {Saarland University, Saarbrücken, Germany},
}