MILLER,DALE A, NADATHUR,GOPALAN HIGHER ORDER LOGIC PROGRAMMING MS-CIS-86-17 - 1 - PHILADELPHIA UOP 1986 - 19 BR-SC-89 ISBN: NCST 2.73 Dewey Class. No.: 1135