@Article{Smolka:1996,
      AUTHOR = {Smolka, Gert},
      TITLE = {Problem Solving with Constraints and Programming},
      YEAR = {1996},
      JOURNAL = {ACM Computing Surveys},
      VOLUME = {28},
      NUMBER = {4},
      URL = {ftp://ftp.ps.uni-sb.de/pub/papers/ProgrammingSysLab/ACM_Surveys_96.ps.gz},
      ABSTRACT = {I sketch a general model of constraint-based problem solving that is not committed to a particular programming paradigm, show that Prolog in particular and logic programming in general do not provide a satisfactory framework for constraint programming, and outline how constraint programming is realized in Oz, a general-purpose language for symbolic processing.},
      ANNOTE = {COLIURL : Smolka:1996:PSC.pdf Smolka:1996:PSC.ps}
}