Author: International Conference on Logic Programming (11th 1994 Santa Margherita Ligure, Italy)