Livio Colussi, Elena Marchiori. A Predicate Transformer for Unification. In JICSLP. pages 67-81, 1992.
@inproceedings{ColussiM92, title = {A Predicate Transformer for Unification}, author = {Livio Colussi and Elena Marchiori}, year = {1992}, researchr = {https://researchr.org/publication/ColussiM92}, cites = {0}, citedby = {0}, pages = {67-81}, booktitle = {JICSLP}, }