Author: International Conference on Logic Programming. (11th 1994)