- MIT Press, Cambridge MA, (1986)
- Morgan Kaufmann, (1994)
- Theory and Practice of Logic Programming, , (Submitted)
- Addison-Wesley, Wokingham, England, (1989)
- AI-1994-06. Artificial Intelligence Center, The University of Georgia, (1994)
- Prentice-Hall, Englewood Cliffs, NJ, (1994)
- Applied Artificial Intelligence (forthcoming)
- http://www.dat.ruc.dk/\~henning/chrg/CHRGusersGuide.html, (November 2002)Visited 28 August 2003 .
- (2002)Submitted to journal Theory and Practice of Logic Programming .
- Proc. TABLEAUX 2002, page 251-265. (2002)Also in Proc. NLULP 2002 .
- (1999)On-line publication .


user