Danko Ilik, Gyesik Lee, Hugo Herbelin. Kripke Models for Classical Logic.
Annals of Pure and Applied Logic, Elsevier Masson, 2010, Special Issue: Classical Logic and Computation (2008), 161 (11), pp.1367-1378.
⟨10.1016/j.apal.2010.04.007⟩.
⟨inria-00371959v4⟩