Logic Programming over Polymorphically Order-Sorted Types

Cite this paper

@inproceedings{Smolka1989LogicPO, title={Logic Programming over Polymorphically Order-Sorted Types}, author={Gert Smolka}, year={1989} }