@article{BSL5_4_Meyer2,
author = {Robert K. MEYER},
title = {Ackermann, Takeuti, and Schnitt for Higher-Order Relevant Logic (Abstract)},
journal = {Bulletin of the Section of Logic},
volume = {5},
number = {4},
year = {1976},
pages = {138--144}
}