Knowledge and Inference - Makoto Nagao (Academic Press, 1990)