proceedings of the fourth international conference International Conference on Logic Programming 1987 : University of Melbourne) text conference publication us Cambridge, Mass MIT Press 1987 monographic eng 2 v. edited by Jean-Louis Lassez Papers for the Fourth International Conference on Logic Programming at the University of Melbourne, Australia, in May 1987 Logic programming Congresses QA76.6 L589 951014 20260818153703.0