@TechReport{Podelski_et_al:1997,
      AUTHOR = {Podelski, Andreas and Charatonik, Witold and Müller, Martin},
      TITLE = {Set-Based Error Diagnosis of Concurrent Constraint Programs},
      YEAR = {1997},
      MONTH = {December},
      ADDRESS = {Saarbrücken},
      TYPE = {Technical Report},
      INSTITUTION = {Universität des Saarlandes},
      URL = {http://www.ps.uni-sb.de/Paper/abstracts/Diagnosis-97.html ftp://ftp.ps.uni-sb.de/pub/papers/ProgrammingSysLab/Diagnosis-97.ps.gz},
      ABSTRACT = {We present an automated method for the static prediction of the run-time error 'deadlock or failure' in concurrent constraint programs. The method is based on a new set-based analysis of reactive logic programs which computes an approximation of the greatest-model semantics. Semantically, the method is based on the connection between the inevitability of 'deadlock or failure' in concurrent constraint programs, finite failure in logic programming and the greatest-model semantics over infinite trees.},
      ANNOTE = {COLIURL : Podelski:1997:SBE.pdf Podelski:1997:SBE.ps}
}