Querying a Polynomial Object-Relational Constraint Database in Model-Based Diagnosis | Publicación