Title: Un langage et un programme pour énoncer et résoudre des problèmes combinatoires
Subjects: Combinatorial analysis, Graph theory, Artificial intelligence, Combinatorial enumeration problems