Ramesh Hariharan Madhavan Mukund V. Vinay 2008 Abstracts Collection - IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science. 2008 FSTTCS http://drops.dagstuhl.de/opus/volltexte/2008/1772 conf/fsttcs/2008 db/conf/fsttcs/fsttcs2008.html#HariharanMV08a