Demonstrating (Hybrid) Active Logic Documents and the Ciao Prolog Playground, and an Application to Verification Tutorials. - Daniela Ferreiro; José F. Morales 001; Salvador Abreu; Manuel V. Hermenegildo (ICLP, 2023)

Teaching Prolog with Active Logic Documents. - José F. Morales 001; Salvador Abreu; Daniela Ferreiro; Manuel V. Hermenegildo (Prolog: The Next 50 Years, 2023)

Checkification: A Practical Approach for Testing Static Analysis Truths. - Daniela Ferreiro; Ignacio Casso; José F. Morales 001; Pedro López-García 001; Manuel V. Hermenegildo (CoRR, 2025)