| |
| 1998 | ||
|---|---|---|
| 2 | E. Lastres, R. Moreno: A Semantics for Logic Programs based on First Order Hereditary Harrop Formulas. APPIA-GULP-PRODE 1998: 421-432 | |
| 1 | Roberta Gori, E. Lastres, R. Moreno, Fausto Spoto: Aproximating the Well-Founded Semantics for Normal Logic Programs using Abstract Interpretation. APPIA-GULP-PRODE 1998: 433-442 | |
| 1 | Roberta Gori | [1] |
| 2 | R. Moreno | [1] [2] |
| 3 | Fausto Spoto | [1] |