1. Practical run-time checking via unobtrusive property caching. Issue 4 (3rd September 2015) Authors: STULOVA, NATALIIA; MORALES, JOSÉ F.; HERMENEGILDO, MANUEL V. Editors: Eiter, Thomas; Toni, Francesca Journal: Theory and practice of logic programming Issue: Volume 15:Issue 4/5(2015) Page Start: 726 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗