Characterizing the Existence of Optimal Proof Systems and Complete Sets for Promise Classes [chapter]

Olaf Beyersdorff, Zenon Sadowski
2009 Lecture Notes in Computer Science  
doi:10.1007/978-3-642-03351-3_7 fatcat:kz6xzict7zaltgrhfgkjtwydci