Author: International Conference on Logic Programming (4th 1987 University of Melbourne)