[(FST TCS 2001 - Foundations of Software Technology and Theoretical Computer Science: 21st Conference, Bangalore, India, December 13-15, 2001, Proceedings )] [Author: Ramesh Hariharan] [Dec-2001]