Michael A. McRobbie, Robert K. Meyer. A Note on the Admissibility of Cut in Relevant Tableau Systems. Math. Log. Q., 25(32):511-512, 1979. [doi]
@article{McRobbieM79,
title = {A Note on the Admissibility of Cut in Relevant Tableau Systems},
author = {Michael A. McRobbie and Robert K. Meyer},
year = {1979},
doi = {10.1002/malq.19790253203},
url = {http://dx.doi.org/10.1002/malq.19790253203},
researchr = {https://researchr.org/publication/McRobbieM79},
cites = {0},
citedby = {0},
journal = {Math. Log. Q.},
volume = {25},
number = {32},
pages = {511-512},
}