AD. (1981, 29 juin). Usage des forges logicielles dans l'ESR , in Journée Gitlab.
[Vidéo]. Canal-U. https://www.canal-u.tv/146864. (Consultée le 6 février 2024)
Sat4j : un moteur libre de raisonnement en logique propositionnelle : habilitation
à diriger des recherches / par Daniel Le Berre, 2010