Roberta Gori, E. Lastres, R. Moreno, Fausto Spoto. Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation. In José Luis Freire-Nistal, Moreno Falaschi, Manuel Vilares Ferro, editors, 1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE 98, A Coruña, Spain, July 20-23, 1998. pages 433-442, 1998.
@inproceedings{GoriLMS98,
title = {Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation},
author = {Roberta Gori and E. Lastres and R. Moreno and Fausto Spoto},
year = {1998},
tags = {semantics, logic programming, e-science, logic},
researchr = {https://researchr.org/publication/GoriLMS98},
cites = {0},
citedby = {0},
pages = {433-442},
booktitle = {1998 Joint Conference on Declarative Programming, APPIA-GULP-PRODE 98, A Coruña, Spain, July 20-23, 1998},
editor = {José Luis Freire-Nistal and Moreno Falaschi and Manuel Vilares Ferro},
}