B
[BEM96] Julian C. Bradfield, Javier Esparza, and Angelika Mader. An effective tableau system for the linear time mu-calculus. In ICALP'96, Lecture Notes in Computer Science 1099, pages 98-109. Springer-Verlag, July 1996. 
@inproceedings{icalp1996-BEM,
  author =              {Bradfield, Julian C. and Esparza, Javier and Mader,
                         Angelika},
  title =               {An effective tableau system for the linear time
                         mu-calculus},
  editor =              {Meyer auf der Heide, Friedhelm and Monien, Burkhard},
  booktitle =           {{P}roceedings of the 23rd {I}nternational
                         {C}olloquium on {A}utomata, {L}anguages and
                         {P}rogramming ({ICALP}'96)},
  acronym =             {{ICALP}'96},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {1099},
  pages =               {98-109},
  year =                {1996},
  month =               jul,
}
List of authors