Integrating Constraints, Composite Objects and Tasks in a Knowledge Representation System. - Jérôme Gensel; Pierre Girard; Olivier Schmeltzer (ICTAI, 1993)

Building Large Knowledge Bases in Molecular Biology. - Olivier Schmeltzer; Claudine Médigue; P. Uvietta; François Rechenmann; Frank Dorkeld; Guy Perrière; Christian Gautier (ISMB, 1993)

Using Temporal Reasoning for Genome Map Assembly. - Olivier Schmeltzer (ISMB, 1995)

Modélisation de cartes génomiques : une formalisation et un algorithme de construction fondé sur le raisonnement temporel. (Genomic map modelling : a formalization and an assembly algorithm based on temporal reasoning). - Olivier Schmeltzer (1995)