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