@article{ITA_1993__27_6_523_0,
     author = {Rittri, M.},
     title = {Retrieving library functions by unifying types modulo linear isomorphism},
     journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications},
     pages = {523--540},
     year = {1993},
     publisher = {EDP Sciences},
     volume = {27},
     number = {6},
     zbl = {0809.68063},
     language = {en},
     url = {https://www.numdam.org/item/ITA_1993__27_6_523_0/}
}