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