Contributions to the Stable Model Semantics of Logic Programs with Negation