@inproceedings{icaart12,
    Author = {Della Monica, D. and Lenzi, G.},
    Title = {On a Priced Resource-Bounded Alternating $\mu$-calculus},
    Booktitle = {Proc. of the 4th International Conference on Agents and Artificial Intelligence (ICAART)},
    Year = {2012},
    Month = {February},
    Pages = {222--227},
    Address = {Vilamoura, Algarve, Portugal}
}