@article{Courcelle2009c, 
     author = "Courcelle, Bruno", 
     doi = "10.1016/j.dam.2008.08.021", 
     issn = "0166218X", 
     journal = "Discrete Applied Mathematics", 
     keyword = "DAG,Enumeration,Monadic second-order logic,Monadic second-order transduction,Query,Random generation,Recognizable set of terms,Tree automaton,Tree-width,Unfolding,dag,enumeration,monadic second-order logic,monadic second-order transduction,project of the,query,random generation,recognizable set of terms,support,supported by the graal,this work has been,tomaton,tree au-,tree-width,unfolding", 
     link = "http://www.sciencedirect.com/science/article/pii/S0166218X08003363 http://linkinghub.elsevier.com/retrieve/pii/S0166218X08003363", 
     month = "jun", 
     number = "12", 
     pages = "2675--2700", 
     title = "Linear delay enumeration and monadic second-order logic", 
     uri = "http://www.sciencedirect.com/science/article/pii/S0166218X08003363", 
     volume = "157", 
     year = "2009", 
}

Problems: 223