TY - RPRT TI - Efficient Model-Based Diagnosis Engine AU - Fijany, Amir AU - Vatan, Farrokh AU - Barrett, Anthony AU - James, Mark AU - Mackey, Ryan AU - Williams, Colin PY - 2009 UR - https://ntrs.nasa.gov/citations/20090032079 ID - 20090032079 ER -