Contributions to the stable model semantics of logic programs with negation