Verification for ASP denotational semantics: A case study using the PVS theorem prover
- Aguado, F.
- Ascariz, P.
- Cabalar, P.
- Pérez, G.
- Vidal, C.
ISSN: 1368-9894, 1367-0751
Ano de publicación: 2017
Volume: 25
Número: 2
Páxinas: 195-213
Tipo: Artigo