Verification for ASP denotational semantics: A case study using the PVS theorem prover. - AGUADO, F.; ASCARIZ, P.; CABALAR, P.; PÉREZ, G.; VIDAL, C. (Logic Journal of the IGPL, 2017)