Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation

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.

Abstract

Abstract is missing.