@article{BSL6_2_Tokarz,
author = {Marek TOKARZ},
title = {Deduction Theorems for RM and Its Extensions},
journal = {Bulletin of the Section of Logic},
volume = {6},
number = {2},
year = {1977},
pages = {67--69}
}