Tomohiro Yamasaki Hirotada Kobayashi Hiroshi Imai http://arxiv.org/abs/cs.CC/0110005 2001 CoRR cs.CC/0110005 db/journals/corr/corr0110.html#cs-CC-0110005 informal publication