| |
| 2001 | ||
|---|---|---|
| 2 | Kengo Nishino, Daisuke Nagano, Sachio Hirokawa: Generation of Navigation Script from Log and Link. WebNet 2001: 534-539 | |
| 2000 | ||
| 1 | EE | Sachio Hirokawa, Daisuke Nagano: Long Normal Form Proof Search and Counter-Model Generation. Electr. Notes Theor. Comput. Sci. 37: (2000) |
| 1 | Sachio Hirokawa | [1] [2] |
| 2 | Kengo Nishino | [2] |