@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}}