B
[Bei91] Richard Beigel. Bounded Queries to SAT and the Boolean Hierarchy. Theoretical Computer Science 84(2):199-223. Elsevier, 1991. 
@article{tcs84(2)-Bei,
  author =              {Beigel, Richard},
  title =               {Bounded Queries to {SAT} and the {B}oolean
                         Hierarchy},
  publisher =           {Elsevier},
  journal =             {Theoretical Computer Science},
  volume =              {84},
  number =              {2},
  pages =               {199-223},
  year =                {1991},
}
Liste des auteurs