@article{BSL19_3_Boricic,
author = {Branislav R. BORI{\v{C}}I{\'C}},
title = {Some Modifications of the Gödel Translation of Classical Intuitionistic Logic},
journal = {Bulletin of the Section of Logic},
volume = {19},
number = {3},
year = {1990},
pages = {84--86}
}