Karim Nour. A General Type for Storage Operators. Math. Log. Q., 41:505-514, 1995.
@article{Nour95:0, title = {A General Type for Storage Operators}, author = {Karim Nour}, year = {1995}, researchr = {https://researchr.org/publication/Nour95%3A0}, cites = {0}, citedby = {0}, journal = {Math. Log. Q.}, volume = {41}, pages = {505-514}, }