Olivier Raiman Order of Magnitude Reasoning. 11-38 1991 51 Artif. Intell. 1-3 db/journals/ai/ai51.html#Raiman91