Application of Error Diagnosis Technique to Incremental Synthesis. - Hiroshi Inoue; Takahiro Iwasaki; Toshifumi Sugane; Masahiro Numa; Keisuke Yamamoto (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2003)