1. Applications of quantifier elimination theory to control theory;Abdallah,1996
2. L’avion qui “bat des ailes” a fédéré de nombreux chercheurs;Alberganti;Le Monde,2005
3. Narrowing approximations as an optimization for equational logic Programs;Alpuente,1993
4. A gender-based genetic algorithm for the automatic configuration of algorithms;Ansótegui,2009
5. The essence of constraint propagation;Apt;Theoretical Computer Science,1999