@inproceedings{garavel:hal-01667321,
  TITLE = {{On the Most Suitable Axiomatization of Signed Integers}},
  AUTHOR = {Garavel, Hubert},
  URL = {https://inria.hal.science/hal-01667321},
  NOTE = {Part 4: Regular Papers},
  BOOKTITLE = {{23th International Workshop on Algebraic Development Techniques (WADT)}},
  ADDRESS = {Gregynog, Wales, UK, United Kingdom},
  HAL_LOCAL_REFERENCE = {work done under the aegis of the Alexander-von-Humboldt foundation},
  EDITOR = {Phillip James and Markus Roggenbach},
  PUBLISHER = {{Springer}},
  SERIES = {Recent Trends in Algebraic Development Techniques},
  VOLUME = {LNCS-10644},
  NUMBER = {10644},
  PAGES = {120-134},
  YEAR = {2017},
  MONTH = Sep,
  DOI = {10.1007/978-3-319-72044-9\_9},
  KEYWORDS = { natural number ;  theorem proving ;  number theory ;  term rewrite system ;  formal method ;  algebraic specification ; abstract data type ;  computer language ;  integer number ;  semantics},
  PDF = {https://inria.hal.science/hal-01667321/file/Garavel-17.pdf},
  HAL_ID = {hal-01667321},
  HAL_VERSION = {v1},
}