Étude et implémentation d'un système de déduction pour logique algorithmique Françoise Garcia (1988) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications