@misc{indiciaea355ff3a777f,
  title = {Model-theoretic characterization of predicate intuitionistic formulas},
  author = {Grigory K. Olkhovikov},
  year = {2012},
  doi = {10.1093/logcom/ext014},
  url = {https://arxiv.org/abs/1202.1195},
  note = {Source identifier: 1202.1195}
}