"Part of the Federated Logic Conference (FLoC)"_Pref.
Logic programming : 18th international conference, ICLP 2002, Copenhagen, Denmark, July 29-August 1, 2002 : proceedings. ISBN 3540439307. Published by Springer in 2002. Publication and catalogue information, links to buy online and reader comments.