Fragments of Bounded Arithmetic and Bounded Query Classes

Jan Krajicek
1993 Transactions of the American Mathematical Society  
doi:10.2307/2154418 fatcat:dhjlopsmirb5xkzl63x4wmmej4