Etude de langage Concurrent Prolog. - M. Favre (SPLT, 1985)

OPERA: Ou parallélisme et Régulation Adaptive en Prolog. - Jacques Briat; M. Favre; Cláudio F. R. Geyer (SPLT, 1990)

Schheduling of OR-parallel Prolog on a Scalable, Reconfigurable, Distributed-Memory Multiprocessor. - Jacques Briat; M. Favre; Cláudio F. R. Geyer; Jacques Chassin de Kergommeaux (PARLE (2), 1991)

ViralORFeome: an integrated database to generate a versatile collection of viral ORFs. - Johann Pellet; Lionel Tafforeau; M. Lucas-Hourani; Vincent Navratil; Laurène Meyniel; Guillaume Achaz; A. Guironnet-Paquet; A. Aublin-Gex; Grégory Caignard; P. Cassonnet; A. Chaboud; T. Chantier; et al. (Nucleic Acids Res., 2010)