@article{Loyer06, Author = {Loyer, Yann and Straccia, Umberto}, Issue = {4}, Journal = {Journal of Theory and Practice of Logic Programming}, Pages = {355-393}, Publisher = {Cambridge University Press}, Title = {Epistemic Foundation of Stable Model Semantics}, Volume = {6}, Year = {2006}}