@article{Ishihara_2016,
    doi = {10.1002/malq.201400099},
    url = {https://doi.org/10.1002%2Fmalq.201400099},
    year = {2016},
    month = {jan},
    publisher = {Wiley},
    volume = {62},
    number = {1-2},
    pages = {94--101},
    author = {Hajime Ishihara and Helmut Schwichtenberg},
    title = {Embedding classical in minimal implicational logic},
    journal = {Mathematical Logic Quarterly}
}

@article{Ishihara_2016, doi = {10.1002/malq.201400099}, url = {https://doi.org/10.1002%2Fmalq.201400099}, year = {2016}, month = {jan}, publisher = {Wiley}, volume = {62}, number = {1-2}, pages = {94--101}, author = {Hajime Ishihara and Helmut Schwichtenberg}, title = {Embedding classical in minimal implicational logic}, journal = {Mathematical Logic Quarterly} }