@misc{indiciae8bc9ca841231,
  title = {Model-theoretic characterization of intuitionistic propositional formulas},
  author = {Grigory K. Olkhovikov},
  year = {2012},
  doi = {10.1017/s1755020312000342},
  url = {https://arxiv.org/abs/1207.4414},
  note = {Source identifier: 1207.4414}
}