Silvio Ghilardi. Unification Through Projectivity. Journal of Logic and Computation, 7(6):733-752, 1997.
@article{Ghilardi97,
title = {Unification Through Projectivity},
author = {Silvio Ghilardi},
year = {1997},
researchr = {https://researchr.org/publication/Ghilardi97},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Computation},
volume = {7},
number = {6},
pages = {733-752},
}