Computing stable models of datalog programs with negation

Viet Phan Luong. Computing stable models of datalog programs with negation. In Frédéric Benhamou, editor, JFPLC 97, Sixièmes Journées Francophones de Programmation Logique et Programmation par Contraintes, 26-28 mai 1997, Orléans, France. pages 101, Hermes, 1997.

Abstract

Abstract is missing.