conference paper from 'Proceedings 41st Annual Symposium on Foundations of Computer Science' published in 2000