Author: International Conference on Logic Programming (14th 1997 Leuven, Belgium)