Logic programming proceedings of the 1995 international symposium ; [ILPS'95 ; December 4 - 7, Portland, Oregon] (MIT Press, 1995)