%0 Conference Paper %1 conf/stacs/ChakaravarthyR08 %A Chakaravarthy, Venkatesan T. %A Roy, Sambuddha %B STACS %D 2008 %E Albers, Susanne %E Weil, Pascal %I Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany %K dblp %P 157-168 %T Finding Irrefutable Certificates for S2p via Arthur and Merlin. %U http://dblp.uni-trier.de/db/conf/stacs/stacs2008.html#ChakaravarthyR08 %V 1

@inproceedings{conf/stacs/ChakaravarthyR08, added-at = {2018-08-23T00:00:00.000+0200}, author = {Chakaravarthy, Venkatesan T. and Roy, Sambuddha}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/23608b9b8240a70ff90dbd6239fcd3df4/dblp}, booktitle = {STACS}, crossref = {conf/stacs/2008}, editor = {Albers, Susanne and Weil, Pascal}, ee = {https://doi.org/10.4230/LIPIcs.STACS.2008.1342}, interhash = {2eb7eb750f986b8bc61201d12a25779e}, intrahash = {3608b9b8240a70ff90dbd6239fcd3df4}, keywords = {dblp}, pages = {157-168}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany}, series = {LIPIcs}, timestamp = {2019-09-27T19:48:02.000+0200}, title = {Finding Irrefutable Certificates for S2p via Arthur and Merlin.}, url = {http://dblp.uni-trier.de/db/conf/stacs/stacs2008.html#ChakaravarthyR08}, volume = 1, year = 2008 }