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 is missing.