VeriFly: On-the-fly Assertion Checking with CiaoPP (extended abstract) - Sanchez-Ordaz, Miguel A; Garcia-Contreras, Isabel; Perez, Victor; Morales, Jose F; Lopez-Garcia, Pedro; Hermenegildo, Manuel, V (Electronic Proceedings In Theoretical Computer Science, 2021)