@inproceedings{Luc01,
    Author = "S.~Lucas",
    Title = "Relating termination and infinitary normalization",
    Booktitle = "Extended Abstracts of 5th International Workshop on 
                 Termination, WST'01",
    Address = "Utrecht, The Netherlands",
    Editor = "N. Dershowitz",
    Publisher = "Department of Philosophy - Utrecht University",
    Series = "Logic Group Preprint Series",
    Volume = 209,
    Year = 2001,
    Month = "May",
    Pages = {31-32},
}