@INPROCEEDINGS{RTA08,
  AUTHOR = {Stephan Falke and Deepak Kapur},
  TITLE = {Dependency Pairs for Rewriting with Built-In Numbers and
           Semantic Data Structures},
  EDITOR = {Andrei Voronkov},
  BOOKTITLE = {Proceedings of the 19th International Conference on Rewriting
               Techniques and Applications (RTA~'08)\normalfont{, Hagenberg,
               Austria}},
  SERIES = {Lecture Notes in Computer Science},
  VOLUME = 5117,
  PUBLISHER = {Springer-Verlag},
  PAGES = {94--109},
  YEAR = 2008
}