@InProceedings{Str07,
    Author       = "Struth, G.",
    Year         = "2007",
    Title        = "{Reasoning Automatically about Termination and Refinement}",
    Editor       = "Ranise, S.",
    BookTitle    = "{Proceedings of the 6th International Workshop on
                    First-Order Theorem Proving}",
    Place        = "Liverpool, United Kingdom",
    Pages        = "36-51",
    Comment      = "TPTPRef"
}