ESPRIT CCL (Construction of Computational Logics)

Tech reports (www) & (ftp)
Human contact - <ccl-request@dfki.uni-sb.de>
Comments - logic programming, constraint solving, theorem proving