On the existence of stable models of non-stratified logic programs