Étude et implémentation d'un système de déduction pour logique algorithmiqueFrançoise GarciaRAIRO-Theor. Inf. Appl., 22 1 (1988) 57-92DOI: https://doi.org/10.1051/ita/1988220100571
