Distributed model-based diagnosis using object-relational constraint databases | Publicación