@article{BSL1_1_Wronski,
author = {Andrzej WRO{\'N}SKI},
title = {An Algorithm for Finding Finite Axiomatizations of Finite Intermediate Logics},
journal = {Bulletin of the Section of Logic},
volume = {1},
number = {1},
year = {1972},
pages = {38--44}
}