Alexandre Lefebvre Laurent Vieille On Deductive Query Evaluation in the DedGin* System. 123-144 1989 DOOD db/conf/dood/dood89.html#LefebvreV89