Logic programming : proceedings of the 1998 Joint International Conference and Symposium on Logic Programming /
Joint International Conference and Symposium on Logic Programming(1998 :Manchester, England)
Jaffar, Joxan,1957-
Cambridge, Mass. ; London : MIT Press,
c1998.
Includes index.
Logic programming