A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation

@inproceedings{SchmidtSchau1985AMC,
  title={A Many-Sorted Calculus with Polymorphic Functions Based on Resolution and Paramodulation},
  author={Manfred Schmidt-Schau\ss},
  booktitle={IJCAI},
  year={1985}
}
Highly Cited
This paper has 21 citations. REVIEW CITATIONS