1. Abstract Diagnosis for tccp using a Linear Temporal Logic. Issue 4 (21st July 2014) Authors: COMINI, MARCO; TITOLO, LAURA; VILLANUEVA, ALICIA; Leuschel, Michael; Schrijvers, Tom Journal: Theory and practice of logic programming Issue: Volume 14:Issue 4/5(2014) Page Start: 787 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗