A Symbolic Model Checker for tccp programs

Alpuente Frasnedo María, Falaschi M., Villanueva García Alicia

2004

Lecture Notes in Computer Science