Equivalence for the G ::3::-stable models semantics

José Luis Carballido, Mauricio Osorio, José Arrazola. Equivalence for the G ::3::-stable models semantics. J. Applied Logic, 8(1):82-96, 2010. [doi]

Authors

José Luis Carballido

This author has not been identified. Look up 'José Luis Carballido' in Google

Mauricio Osorio

This author has not been identified. Look up 'Mauricio Osorio' in Google

José Arrazola

This author has not been identified. Look up 'José Arrazola' in Google