1. VeriFly: On-the-fly Assertion Checking via Incrementality. Issue 6 (November 2021) Authors: SANCHEZ-ORDAZ, MIGUEL A.; GARCIA-CONTRERAS, ISABEL; PEREZ, VICTOR; MORALES, JOSÉ F.; LOPEZ-GARCIA, PEDRO; HERMENEGILDO, MANUEL V. Journal: Theory and practice of logic programming Issue: Volume 21:Issue 6(2021) Page Start: 768 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗