Verification for ASP denotational semantics: a case study using the PVS theorem prover | Publicación