Logic programming : proceedings of the 1995 international symposium /
Lloyd, J. W.(John Wylie)
Association for Logic Programming.
International Symposium on Logic Programming(1995 :Portland, Oregon)
Cambridge, Mass. ; London : MIT Press,
c1995.
Logic programming