| |
| * | 2009 | |
|---|---|---|
| 2 | EE | Haruhiko Sato, Masahito Kurihara, Sarah Winkler, Aart Middeldorp: Constraint-Based Multi-Completion Procedures for Term Rewriting Systems. IEICE Transactions 92-D(2): 220-234 (2009) |
| 2008 | ||
| 1 | EE | Haruhiko Sato, Sarah Winkler, Masahito Kurihara, Aart Middeldorp: Multi-completion with Termination Tools (System Description). IJCAR 2008: 306-312 |
| 1 | Masahito Kurihara | [1] [2] |
| 2 | Aart Middeldorp | [1] [2] |
| 3 | Haruhiko Sato | [1] [2] |