Logic programming : proceedings of the fourth international conference /
Lassez, Jean-Louis.
International Conference on Logic Programming(4th :1987 :University of Melbourne)
Cambridge, Mass. : MIT Press,
c1987.
Papers for the Fourth International Conference on Logic Programming at the University of Melbourne, Australia, in May 1987.
Includes bibliographies and index.
Logic programming