Stable Theories for Logic Programs