Bounded queries to SAT and the Boolean hierarchy

Richard Beigel
1991 Theoretical Computer Science  
Beige], R., Bounded queries to SAT and the Boolean hierarchy, Theoretical Computer Science 84(1991)199-223.
doi:10.1016/0304-3975(91)90160-4 fatcat:q5kfoes22jb3lk3hzwpntdywxa