Author: International Conference on Logic Programming (16th 1999 Las Cruces, N.M.)