BibTex format
@inbook{Sadri:2006:10.1007/11853886_34,
author = {Sadri, F and Toni, F},
doi = {10.1007/11853886_34},
editor = {Fisher and VanDerHoek and Konev and Lisitsa},
pages = {413--425},
publisher = {SPRINGER-VERLAG BERLIN},
title = {A formal analysis of KGP agents},
url = {http://dx.doi.org/10.1007/11853886_34},
year = {2006}
}