@phdthesis{hal-10726,
  title = {Déduction avec sortes ordonnées et égalités},
  author = {Claus Hintermeier},
  year = {1995},
  url = {https://tel.archives-ouvertes.fr/tel-01753499},
  researchr = {https://researchr.org/publication/hal-10726},
  cites = {0},
  citedby = {0},
  school = {Henri Poincaré University, Nancy, France},
}