Set based failure diagnosis for concurrent constraint programming. - Martin Ludwig Müller (1998)