Sémantique logique et dénotationnelle des interpréteurs PROLOGJean-Paul DelahayeRAIRO-Theor. Inf. Appl., 22 1 (1988) 3-42DOI: https://doi.org/10.1051/ita/1988220100031
