John W. Lloyd: Logic Programming, Proceedings of the 1995 International Symposium, Portland, Oregon, USA, December 4-7, 1995. MIT Press 1995, ISBN 0-262-62099-5