TY  - BOOK
AU  - MILLER,DALE A, NADATHUR,GOPALAN
TI  - HIGHER ORDER LOGIC PROGRAMMING MS-CIS-86-17
SN  - NCST
U1  - 1135 
PY  - 1986///
CY  - PHILADELPHIA
PB  - UOP
N1  - BR-SC-89
ER  -