Proceedings of 1993 IEEE 34th Annual Foundations of Computer Science | IEEE Conference Publication | IEEE Xplore