@article{BSL7_2_Alves_Almeida_Moura,
author = {El{\'\i}as H. ALVES and Jos{\'e} {de ALMEIDA MOURA}},
title = {On Some Higher-Order Predicate Calculi},
journal = {Bulletin of the Section of Logic},
volume = {7},
number = {2},
year = {1978},
pages = {84--85}
}