@article{PORMA_1990__47_3_115715,
     author = {Coulon, Josette and Coulon, Jean-Louis},
     title = {Injectivity in the quasi-topo of separated presheaves on a complete {Heyting} algebra},
     journal = {Portugaliae mathematica},
     pages = {227--241},
     publisher = {mathdoc},
     volume = {47},
     number = {3},
     year = {1990},
     mrnumber = {1090265},
     zbl = {0723.18010},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/PORMA_1990__47_3_115715/}
}