Logic programming : proceedings of the Twelfth International Conference on Logic Programming /
International Conference on Logic Programming(12th :1995 :Kanagawa, Japan)
Sterling, Leon.
Cambridge, Mass. ; London : MIT Press,
c1995.
Logic programming