Stable Models and Their Computation for Logic Programming with Inheritance and True Negation

Francesco Buccafurri, Nicola Leone, Pasquale Rullo. Stable Models and Their Computation for Logic Programming with Inheritance and True Negation. Journal of Logic and Algebraic Programming, 27(1):5-43, 1996.

Abstract

Abstract is missing.