@article{BSL7_2_Routley,
author = {Richard ROUTLEY},
title = {An Inadequacy in Kripke-Semantics for Intuitionistic Quantificational Logic},
journal = {Bulletin of the Section of Logic},
volume = {7},
number = {2},
year = {1978},
pages = {61--67}
}