Miguel-Angel Oros Paul Y. Gloess Concept, une approche basée sur la déduction naturelle pour la classification de prédicats Datalog. 39-52 1994 conf/lmo/1994 LMO db/conf/lmo/lmo1994.html#OrosG94