Properties of Stable Model Semantics Extensions | Read Paper on Bytez