TY  - RPRT
TI  - Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials
AU  - Daniela Ferreiro
AU  - José F. Morales
AU  - Salvador Abreu
AU  - Manuel V. Hermenegildo
PY  - 2023
DO  - 10.4204/eptcs.385.33
UR  - https://arxiv.org/abs/2308.15896
ID  - 2308.15896
ER  -