PRUF: A meaning representation language for natural languages, Int (1978)

by L A Zadeh
Venue:J. of Man-Machine Studies