TY - BOOK AU - MILLER,DALE A, NADATHUR,GOPALAN TI - SOME USES OF HIGHER ORDER LOGIC IN COMPUTATIONAL LINGUISTICS MS-CIS SN - NCST U1 - 1135 PY - 1986/// CY - PHILADELPHIA PB - UOP N1 - BR-SC-12 ER -