Computer Science Department, Indiana University, Bloomington 47405-4101, USA.|Computer Science Department, Indiana University, Bloomington 47405-4101, USA.|Computer Science Department, Indiana University, Bloomington 47405-4101, USA.|Computer Science Department, Indiana University, Bloomington 47405-4101, USA.