Logic programming : proceedings of the Fourteenth International Conference on Logic Programming /
International Conference on Logic Programming(14th :1997 :Leuven, Belgium)
Naish, Lee,1960-
Cambridge, Mass. ; London : MIT Press,
c1997.
Includes index
Logic programming