@article{BSL20_2_Miller,
author = {David MILLER},
title = {An Open Problem in Tarski's Calculus of Deductive Systems},
journal = {Bulletin of the Section of Logic},
volume = {20},
number = {2},
year = {1991},
pages = {36--43}
}