@misc{indiciaee488d9ecb816, title = {Model Based Diagnosis of Multiple Observations with Implicit Hitting Sets}, author = {Alexey Ignatiev and Antonio Morgado and Joao Marques-Silva}, year = {2017}, url = {https://arxiv.org/abs/1707.01972}, note = {Source identifier: 1707.01972} }