
@inproceedings{VandenBoom11,
  title = "Weak Cost Monadic Logic over Infinite Trees",
  author = "Michael Vanden Boom",
  year = "2011",
  booktitle = "36th International Symposium on Mathematical Foundations of Computer Science (MFCS 2011)",
  month = "August",
  pages = "580-591",
}