@article{BSL43_1_2_Jarmuzek_Kaczkowski,
author = {Tomasz JARMU{\.Z}EK and Bartosz Jerzy KACZKOWSKI},
title = {On Some Logic with a Relation Imposed on Formulae: Tableau System F},
journal = {Bulletin of the Section of Logic},
volume = {43},
number = {1--2},
year = {2014},
pages = {53--72}
}