Author: International Conference on Logic Programming (17th 2001 Paphos, Cyprus)