Embedding Temporal Reasoning into the ATMS Framework. - Mugur M. Tatar; Ioan Alfred Letia (XPS, 1993)

Combining the Lazy Label Evaluation with Focusing Techniques in an ATMS. - Mugur M. Tatar (ECAI, 1994)

Dependent defects and aspects of efficiency in model based diagnosis. - Mugur M. Tatar (1997)

A Relational Constraint Solver for Model-Based Engineering. - Jakob Mauss; Frank Seelisch; Mugur M. Tatar (CP, 2002)

Computing Minimal Conflicts for Rich Constraint Languages. - Jakob Mauss; Mugur M. Tatar (ECAI, 2002)

A constraint solver for model-based engineering. - Jakob Mauss; Frank Seelisch; Mugur M. Tatar (AI Commun., 2004)

Diagnosing Highly Configurable Products: Troubleshooting Support for Airbus Final Assembly Line. - Andreas Junghanns; Mugur M. Tatar (ECAI, 2006)