Full version at http://arxiv.org/abs/cs/0211010 (0)

by Springer