Abstract Diagnosis for tccp using a Linear Temporal Logic

MARCO COMINI, Villanueva García Alicia, Titolo Laura

2014

Theory and Practice of Logic Programming