Title: Programmation en logique avec contraintes
Subjects: Sémantique, Bioinformatique, Programmation en logique, Programmation avec contrainte, Programmation logique, Congrès, Programmation par contraintes