BibTex format
@article{Bezhanishvili:2012:10.1016/j.tcs.2011.11.026,
author = {Bezhanishvili, N and Hodkinson, I},
doi = {10.1016/j.tcs.2011.11.026},
journal = {THEORETICAL COMPUTER SCIENCE},
pages = {1--19},
title = {Sahlqvist theorem for modal fixed point logic},
url = {http://dx.doi.org/10.1016/j.tcs.2011.11.026},
volume = {424},
year = {2012}
}