Reference:

Javier Esparza and Michael Luttenberger. Solving fixed-point equations by derivation tree analysis. In CALCO, pages 19–35, 2011.

Suggested BibTeX entry:

@inproceedings{DBLP:confcalcoEsparzaL11,
    author = {Javier Esparza and Michael Luttenberger},
    booktitle = {CALCO},
    pages = {19-35},
    title = {Solving Fixed-Point Equations by Derivation Tree Analysis},
    year = {2011}
}