Think!: A unified numerical-symbolic knowledge representation scheme and reasoning system. - Christian Vilhelm; Pierre Ravaux; Daniel Calvelo; Alexandre Jaborska; Marie-Christine Chambrin; Michel Boniface (Artif. Intell., 2000)