Eyal Yardeni, Thom W. Frühwirth, Ehud Y. Shapiro. Polymorphically Typed Logic Programs. In Types in Logic Programming. pages 63-90, 1992.
@incollection{YardeniFS92, title = {Polymorphically Typed Logic Programs}, author = {Eyal Yardeni and Thom W. Frühwirth and Ehud Y. Shapiro}, year = {1992}, tags = {logic programming, programming, logic}, researchr = {https://researchr.org/publication/YardeniFS92}, cites = {0}, citedby = {0}, pages = {63-90}, booktitle = {Types in Logic Programming}, }