Towards a First Order Equilibrium Logic for Nonmonotonic Reasoning | Publicación