Author: International Conference on Logic Programming (10th 1993 Budapest, Hungary)