A logical approach to A-Prolog | Publicación