Luís Caires, Luís Monteiro. Higher-Order Polymorphic Unification for Logic Programming. In ICLP. pages 419-433, 1994.
@inproceedings{CairesM94, title = {Higher-Order Polymorphic Unification for Logic Programming}, author = {Luís Caires and Luís Monteiro}, year = {1994}, tags = {logic programming, programming, logic}, researchr = {https://researchr.org/publication/CairesM94}, cites = {0}, citedby = {0}, pages = {419-433}, booktitle = {ICLP}, }