Short bibliography
<http://www.cs.unh.edu/ccc/archive/constraints/archive/shortbib> covering
some key CLP and CSP papers and books.  Suggestions for updating the
list are requested; email <pse@cs.unh.edu>.

CLP bibliography <ftp://archive.cis.ohio-state.edu/pub/clp> by Spiro
Michaylov <spiro@cis.ohio-state.edu> (somewhat out of date; no entries
after 1993).

An updated CLP bibliography is maintained by Peggy Eaton
<mailto:pse@cs.unh.edu>.  (URL TO BE ADDED)

Abstract Interpretation Bibliography
<http://www.labri.u-bordeaux.fr/~corsini/Public/Reports/abint-biblio.ps>
(Marc-Michel Corsini)

CCL Bibliographies
<http://ps-www.dfki.uni-sb.de/ccl/publications/index.html> (Constraints
in Computational Logic project)

Combinations of Constraint Solving Techniques
<http://acsl.cs.uiuc.edu/~tinelli/papers/comb-papers.html>

Constraint Programming Paper Archive:  Aarhus University, Denmark, has
established an anonymous ftp archive for papers on "Constraint
Programming" at <ftp://ftp.daimi.aau.dk//pub/CLP/> For further
information, contact Brian H. Mayoh <brian@daimi.aau.dk>.

ECRC tech reports are available at <ftp://ftp.ecrc.de> or
<http://www.ecrc.de/>

Fuzzy Scheduling bibliography <ftp://mira.dbai.tuwien.ac.at/pub/slany/>
(Wolfgang Slany <http://www.dbai.tuwien.ac.at/staff/slany.html>)

Glimpse server <http://donkey.cs.arizona.edu:1994/bib> for general
computing bibliographic searches

Logic Programming bibliographies
<http://ps-www.dfki.uni-sb.de/lp-proceedings> (Ralf Scheidhauer
<http://ps-www.dfki.uni-sb.de/~scheidhr>) -- can be searched
<http://ps-www.dfki.uni-sb.de/lp-proceedings/bibtex/ghindex.html>

Logic Programming Conferences
<http://www.informatik.uni-trier.de/~ley/db/conf/index.l.html> --
excellent WWW bibliographies (Michael Ley) --- also a page of more
general bibliographies
<http://www.informatik.uni-trier.de/~ley/db/conf/index.html>, including
databases

Theory journal <http://theory.lcs.mit.edu/~dmjones/hbp/>
bibliographies, organised by David Jones
<http://theory.lcs.mit.edu/~dmjones/>.  Includes:  FOCS: IEEE Symposium
on Foundations of Computer Science
<http://theory.lcs.mit.edu/~dmjones/FOCS/homepage.html>, Information
and Computation <http://theory.lcs.mit.edu/~iandc/>, Journal of the ACM
<http://theory.lcs.mit.edu/~jacm/>, LICS: IEEE Symposium on Logic in
Computer Science <http://theory.lcs.mit.edu/~dmjones/LICS/>, STOC: ACM
Symposium on Theory of Computing
<http://theory.lcs.mit.edu/~dmjones/STOC/homepage.html>.

Some parts © 2009 Advameg, Inc.