BOUND VOLUME JOURNAL OF LOGIC PROGRAMMING, VOL.4,1987 - 1 - AMSTERDAM NH 1987 ISBN: NCST Dewey Class. No.: 317