@misc{indiciaee3d25c579373,
  title = {Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials},
  author = {Daniela Ferreiro and José F. Morales and Salvador Abreu and Manuel V. Hermenegildo},
  year = {2023},
  doi = {10.4204/eptcs.385.33},
  url = {https://arxiv.org/abs/2308.15896},
  note = {Source identifier: 2308.15896}
}