A First Order Logic for Logic Programming | Publicación