@InProceedings{BMM,
  author = {Guillaume Bonfante and Jean-Yves Marion and Jean-Yves Moyen},
  title = {On lexicographic termination ordering with space 
           bound certifications},
  booktitle = {PSI},
  year = 2001,
  month = jul,
  series = lncs,
  publisher = {Springer},
  volume = 2244,
  editor = {Dines Bjørner and Manfred Broy and Alexandre V. Zamulin},
  pages = {482--493}
}