Urbán, P. et al. 1996. CONSTRAINT-BASED DIAGNOSIS ALGORITHMS FOR MULTIPROCESSORS Periodica Polytechnica Electrical Engineering. 40, 1 (Jan. 1996), 39–52.