@article{BSL7_2_Orlowska, author = {Ewa OR{\L}OWSKA}, title = {Resolution System for $\omega^+$-Valued Logic}, journal = {Bulletin of the Section of Logic}, volume = {7}, number = {2}, year = {1978}, pages = {68--74} }