Computational aspects of an order-sorted logic with term declarations

Cite this paper

@inproceedings{SchmidtSchau1988ComputationalAO, title={Computational aspects of an order-sorted logic with term declarations}, author={Manfred Schmidt-Schau\ss}, booktitle={Lecture Notes in Computer Science}, year={1988} }