1996
Redesign of technical systems.
Knowl. Based Syst., 1996

1993
Diagnosing and Solving Over-Determined Constraint Satisfaction Problems.
Proceedings of the 13th International Joint Conference on Artificial Intelligence. Chambéry, France, August 28, 1993