Aya Nishikawa Ryo Nishimura Yasuhiko Watanabe Yoshihiro Okada Writing Support System Dealing with Notational Variant Selection. 73-80 2009 CSEDU (1) conf/csedu/2009-1 db/conf/csedu/csedu2009-1.html#NishikawaNWO09