64
Mathematical Aspects of Logic Programming Semantics
the well-founded model by Theorem 2.6.13 (c). Finally, by Proposition 2.4.13,
P has a unique supported model, and this model coincides with its Fitting
model.
•