@Bibtex-file{Theory/dershowitz.bib,
  title =        "Nachum Dershowitz's personal bibliography",
  author =       "Nachum Dershowitz",
  email =        "nachum@cs.uiuc.edu",
  address =      "Department of Computer Science\\ University of
                 Illinois at Urbana-Champaign\\ 1304 West Springfield
                 Avenue\\ Urbana, Illinois 61801-2987\\ USA",
  supported =    "gone",
  keywords =     "equational reasoning, term rewriting, termination,
                 theorem proving, unification, program transformation",
}