@article{ laroussinie95translations,
    author = "F. Laroussinie and S. Pinchinat and Ph. Schnoebelen",
    title = "Translations between modal logics of reactive systems",
    journal = "Theoretical Computer Science",
    volume = "140",
    number = "1",
    pages = "53--71",
    year = "1995"
}