Daniel Sabin Mihaela Sabin Robert D. Russell Eugene C. Freuder A Constraint-Based Approach to Diagnosing Software Problems in Computer Networks. 463-480 1995 conf/cp/1995 CP db/conf/cp/cp95.html#SabinSRF95