D. Lacombe

• Symposium on Automatic Demonstration
• Propriétés récursives des structures énumérées