Abstract Diagnosis for tccp using a Linear Temporal Logic

Marco Comini, Laura Titolo, and Alicia Villanueva
July 2014
PDF Cite DOI
Type
Journal article
Publication
Theory and Practice of Logic Programming, Volume 14 (4-5), Special issue on ICLP 2014