Cite
APA Citation
ALPUENTE, M., FRECHINA, F., SAPIÑA, J., & BALLIS, D. (2016). assertion-based analysis via slicing with ABETS* (system description). Theory and practice of logic programming, 16(5), 515–532. http://access.bl.uk/ark:/81055/vdc_100039035035.0x00000a