Logic programming : proceedings of the seventh international conference /
Warren, David H. D.
Szeredi, Peter,1949-
International Conference on Logic Programming(1990 :Jerusalem)
Cambridge, Mass. ; London : MIT Press,
c1990.
Papers from the Seventh International Conference on Logic Programming, held in Jerusalem, June 18-20, 1990.
Includes bibliographical references and index.
Logic programming