Reference:

Javier Esparza and Michael Luttenberger. Solving fixed-point equations by derivation tree analysis. In Proceedings of CALCO'11, volume 6859 of Lecture Notes in Computer Science, pages 19–35. Springer, 2011.

Suggested BibTeX entry:

@inproceedings{DBLP:confcalcoEsparzaL11,
    author = {Javier Esparza and Michael Luttenberger},
    booktitle = {Proceedings of CALCO'11},
    pages = {19-35},
    publisher = {Springer},
    series = {Lecture Notes in Computer Science},
    title = {Solving Fixed-Point Equations by Derivation Tree Analysis},
    volume = {6859},
    year = {2011}
}