Luis Fariñas del Cerro Said Soulhi Mutual Belief Logic for Processing Definite Reference. 65-78 1984 Natural Language Understanding and Natural Language Understanding Workshop db/conf/nlulp/nlulp84.html#CerroS84