@phdthesis{dnb-7263,
  title = {Unifikationstheorie erster Ordnung},
  author = {Peter Szabó},
  year = {1983},
  url = {http://d-nb.info/840992319},
  researchr = {https://researchr.org/publication/dnb-7263},
  cites = {0},
  citedby = {0},
  school = {Karlsruhe Institute of Technology, Germany},
}