Long Normal Form Proof Search and Counter-Model Generation. - Sachio Hirokawa; Daisuke Nagano (Workshop on Type-Theoretic Languages: Proof Search and Semantics, 2000)

Generation of Navigation Script from Log and Link. - Kengo Nishino; Daisuke Nagano; Sachio Hirokawa (WebNet, 2001)