SPI - Articles

M. Jaume : “On greatest fixpoint semantics of logic programming”, Journal of Logic and Computation, vol. 12 (2), pp. 321-342, (Oxford University Press (OUP)) [Jaume 2002]
V. Prevosto, D. Doligez : “Algorithms and Proofs Inheritance in the FOC Language”, Journal of Automated Reasoning, vol. 29 (3-4), pp. 337-363, (Springer Verlag) [Prevosto 2002b]