@article{HanLucMid98,

    Author = "M. Hanus, S. Lucas, and A. Middeldorp",

    Title = "Strongly sequential and inductively sequential term rewriting
             systems"

    Journal = "Information Processing Letters",

    Year = "1998",
    
    Volume = "67",
    
    Number = "1",
    
    Pages = "1-8",

    Publisher = "Elsevier"

}