An Algorithm for Computing Semi-stable Semantics
scientific article