@article{Ilik_2013,
    doi = {10.1016/j.apal.2012.05.003},
    url = {https://doi.org/10.1016%2Fj.apal.2012.05.003},
    year = {2013},
    month = {jun},
    publisher = {Elsevier {BV}},
    volume = {164},
    number = {6},
    pages = {651--662},
    author = {Danko Ilik},
    title = {Continuation-passing style models complete for intuitionistic logic},
    journal = {Annals of Pure and Applied Logic}
}

@article{Ilik_2013, doi = {10.1016/j.apal.2012.05.003}, url = {https://doi.org/10.1016%2Fj.apal.2012.05.003}, year = {2013}, month = {jun}, publisher = {Elsevier {BV}}, volume = {164}, number = {6}, pages = {651--662}, author = {Danko Ilik}, title = {Continuation-passing style models complete for intuitionistic logic}, journal = {Annals of Pure and Applied Logic} }