@article{BSL1_1_Kotas,
author = {Jerzy KOTAS},
title = {Logical Systems with Implication and Theories of Quasi-Implicative Algebras},
journal = {Bulletin of the Section of Logic},
volume = {1},
number = {1},
year = {1972},
pages = {13--22}
}