@inproceedings{DBLP:conf/csl/ColcombetKLVB13,
  title = "Deciding the weak definability of B{\"{u}}chi definable tree languages",
  author = "Thomas Colcombet and Denis Kuperberg and Christof L{\"{o}}ding and Michael {Vanden Boom}",
  year = "2013",
  booktitle = "Computer Science Logic 2013 {(CSL} 2013), {CSL} 2013, September 2-5, 2013, Torino, Italy",
  editor = "Simona Ronchi Della Rocca",
  isbn = "978-3-939897-60-6",
  pages = "215--230",
  publisher = "Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik",
  series = "LIPIcs",
  url = "http://drops.dagstuhl.de/opus/portals/extern/index.php?semnr=13009",
  volume = "23",
  doi = "10.4230/LIPIcs.CSL.2013.215",
}