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.
No references recorded for this publication.
No citations of this publication recorded.