Theory of Computing and Systems ISTCS '92, Israel Symposium, Haifa, Israel, May 27-28, 1992. Proceedings | EKB DL