no code implementations • 29 Feb 2016 • Mauricio Osorio, Juan Carlos Nieves
Characterizations of semi-stable and stage extensions in terms of 2-valued logical models are presented.