SOME USES OF HIGHER ORDER LOGIC IN COMPUTATIONAL LINGUISTICS MS-CIS - MILLER,DALE A, NADATHUR,GOPALAN (UOP PHILADELPHIA, 1986)
BR-SC-12