David Gilbert, David R. Westhead, Janet M. Thornton, Karine Yvon. Une technique déclarative pour filtrer des motifs topologiques de protéines. In Touraïvane, editor, Programmation en logique avec contraintes, JFPLC 2000, 28-30 Juin 2000, Marseille, France. pages 165, Hermes, 2000.
Abstract is missing.