Mustard
See the
final report
of the
Déduction
ANR project.