@article{BSL5_1_Buszkowski,
author = {Wojciech BUSZKOWSKI},
title = {Undecidability of Some Logical Extensions of Ajdukiewicz--Lambek Calculus},
journal = {Bulletin of the Section of Logic},
volume = {5},
number = {1},
year = {1976},
pages = {33--37}
}