@InProceedings{BC98,
  author = 	 {C.~Baier and E.~Clarke},
  title = 	 {The Algebraic
      Mu-Calculus and MTBDDs},
  booktitle = 	 {Proc. 5th Workshop on Logic,
      Language, Information and Computation, (WoLLIC'98)},
  pages =	 {27-38},
  year =	 1998
}