Jim des Rivières Hector J. Levesque The consistency of syntactical treatments of knowledge. 31-41 1988 4 Computational Intelligence db/journals/ci/ci4.html#RivieresL88