Victor V. Kryssanov V. A. Abramov Yoshiro Fukuda K. Konishi http://arxiv.org/abs/cs/0605138 2006 CoRR abs/cs/0605138 db/journals/corr/corr0605.html#abs-cs-0605138 informal publication