Eyal Yardeni, Thom W. Frühwirth, Ehud Y. Shapiro. Polymorphically Typed Logic Programs. In ICLP. pages 379-393, 1991.
@inproceedings{YardeniFS91, title = {Polymorphically Typed Logic Programs}, author = {Eyal Yardeni and Thom W. Frühwirth and Ehud Y. Shapiro}, year = {1991}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/YardeniFS91}, cites = {0}, citedby = {0}, pages = {379-393}, booktitle = {ICLP}, }