UET flow shop scheduling with delays V. J. Rayward-Smith, D. Rebaine (1996) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Une procédure de décision pour un problème de satisfiabilité dans un univers ensembliste héréditairement fini M. Hibti, B. Legeard, H. Lombardi (1997) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications