@PHDTHESIS{diss:2009,
  AUTHOR = {Stephan Falke},
  TITLE = {Term Rewriting with Built-In Numbers and Collection Data
           Structures},
  SCHOOL = {University of New Mexico},
  ADDRESS = {Albuquerque, NM, USA},
  YEAR = 2009
}