Agostino Dovier, Maria Chiara Meo, Andrea Omicini: Declarative Programming - Selected Papers from AGP 2000, La Habana, Cuba, December 4-6, 2000. Electronic Notes in Theoretical Computer Science 48, Elsevier 2000