Logic programming : proceedings of the Fifth International Conference and Symposium. - Kowalski, Robert, 1941-; Bowen, Kenneth A. (MIT Press series in logic programming, 1988)