10. LOPSTR 2000: London, UK
- Kung-Kiu Lau (Ed.): Extended Abstracts of the 10th International Workshop on Logic-based Program Synthesis and Transformation, LOPSTR 2000, London, UK, July 24-28, 2000. Department of Computer Science, University of Manchester 2000 Technical Report
- Bart Demoen: Prolog and abduction 4 writing garbage collectors.
- Walter W. Wilson: A minimal specification language.