B
[Bus93] Samuel R. Buss. Algorithms for Boolean Formula Evaluation and for Tree Contraction. In Peter Clote and Jan Krajíček (eds.), Proof Theory, Complexity, and Arithmetic. Oxford University Press, 1993. 
@incollection{PTCA-Bus,
  author =              {Buss, Samuel R.},
  title =               {Algorithms for Boolean Formula Evaluation and for
                         Tree Contraction},
  editor =              {Clote, Peter and Kraj{\'\i}{\v c}ek, Jan},
  booktitle =           {Proof Theory, Complexity, and Arithmetic},
  publisher =           {Oxford University Press},
  pages =               {96-115},
  year =                {1993},
}
List of authors