1. Assertion-based analysis via slicing with ABETS* (system description). Issue 5 (14th October 2016) Authors: ALPUENTE, M.; FRECHINA, F.; SAPIÑA, J.; BALLIS, D. Editors: Carro, Manuel; King, Andy Journal: Theory and practice of logic programming Issue: Volume 16:Issue 5/6(2016) Page Start: 515 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗