An Inproved Algorithm for Retrieving Fuzzy Information from Two Systems. - Ahmed Ait-Bouziad; Helen Kassel (Inf. Process. Lett., 1998)

Automatic generation of simplified weakest preconditions for integrity constraint verification - Ahmed Ait-Bouziad; Irène Guessarian; Laurent Vieille (CoRR, 2006)