B
[Bus87] Samuel R. Buss. The Boolean Formula Value Problem is in ALOGTIME. In STOC'87, pages 123-131. ACM Press, May 1987. 
@inproceedings{stoc1987-Bus,
  author =              {Buss, Samuel R.},
  title =               {The Boolean Formula Value Problem is in {ALOGTIME}},
  booktitle =           {{P}roceedings of the 19th {A}nnual {ACM} {S}ymposium
                         on the {T}heory of {C}omputing ({STOC}'87)},
  acronym =             {{STOC}'87},
  publisher =           {ACM Press},
  pages =               {123-131},
  year =                {1987},
  month =               may,
}
List of authors