@article{BSL42_3-4_Polacik,
author = {Tomasz PO{\L}ACIK},
title = {Bisimulation Reducts and Submodels of Intuitionistic First-Order Kripke Models},
journal = {Bulletin of the Section of Logic},
volume = {42},
number = {3--4},
year = {2013},
pages = {151--159}
}