@inproceedings{BraHuc07,
  author = {Bernd Brassel and Frank Huch},
  title = {{The Kiel Curry System KiCS}},
  booktitle = {Preproceedings of the 21st Workshop on (Constraint) Logic Programming (WLP 2007)},
  year = {2007},
  pages = {215-223},
  editor = {Dietmar Seipel and Michael Hanus},
  location = {W"urzburg, Germany},
  month = {october},
  note = {Technical Report 434},
  }