  Characterizations of semi-stable and stage extensions in terms of 2-valued
logical models are presented. To this end, the so-called GL-supported and
GL-stage models are defined. These two classes of logical models are logic
programming counterparts of the notion of range which is an established concept
in argumentation semantics.
