conference paper from 'Proceedings of 37th Conference on Foundations of Computer Science' published in 1996