José Luis Carballido, Mauricio Osorio, José Arrazola. Equivalence for the G ::3::-stable models semantics. J. Applied Logic, 8(1):82-96, 2010. [doi]
@article{CarballidoOA10, title = {Equivalence for the G ::3::-stable models semantics}, author = {José Luis Carballido and Mauricio Osorio and José Arrazola}, year = {2010}, doi = {10.1016/j.jal.2009.12.001}, url = {http://dx.doi.org/10.1016/j.jal.2009.12.001}, tags = {semantics}, researchr = {https://researchr.org/publication/CarballidoOA10}, cites = {0}, citedby = {0}, journal = {J. Applied Logic}, volume = {8}, number = {1}, pages = {82-96}, }