Towards declarative debugging of concurrent constraint programs
2005 ◽
pp. 88-100
◽