Venkatesan T. Chakaravarthy, Sambuddha Roy. Finding Irrefutable Certificates for S::2:::::p::: via Arthur and Merlin. In Susanne Albers, Pascal Weil, editors, STACS 2008, 25th Annual Symposium on Theoretical Aspects of Computer Science, Bordeaux, France, February 21-23, 2008, Proceedings. Volume 08001 of Dagstuhl Seminar Proceedings, pages 157-168, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2008. [doi]
Abstract is missing.