@InProceedings{DMS04,
    Author       = "Desharnais, J. and M{\"o}ller, B. and Struth, G.",
    Year         = "2004",
    Title        = "{Termination in Modal Kleene Algebra}",
    Editor       = "L{\'e}vy, J. and Mayr, E. and Mitchell, J.",
    BookTitle    = "{Proceedings of the 18th World Computer Congress, 3rd
                    International Conference on Theoretical Computer Science}",
    Place        = "Toulouse, France",
    Pages        = "647-660",
    Publisher    = "Kluwer",
    Comment      = "TPTPRef"
}