LLOYD,JOHN WYLIE FOUNDATIONS OF LOGIC PROGRAMMING - 1 - BERLIN SV 1984 - 124 ISBN: NCST 225.4 Dewey Class. No.: 904