@phdthesis{dnb-12711,
  title = {Higher-order constraint logic programming},
  author = {Kang Wang},
  year = {1994},
  url = {http://d-nb.info/943624479},
  researchr = {https://researchr.org/publication/dnb-12711},
  cites = {0},
  citedby = {0},
  school = {University of Bremen, Germany},
}