@article{BSL2_2_Zarnecka-Bialy,
author = {Ewa {\.Z}ARNECKA-BIA{\L}Y},
title = {Wajsberg's Algorithm for Axiomatization of the Classical Propositional Calculus},
journal = {Bulletin of the Section of Logic},
volume = {2},
number = {2},
year = {1973},
pages = {97--102}
}