1. Dept. of Computer Sciences, University of Texas, Austin, TX 78712, USA
2. Dept. of Computer Science, University of New Mexico, Albuquerque, NM 87131, USA
3. Lehman College and The Graduate Center, City University of New York, New York, NY 10468, USA