@article{HUDELMAIER_1993,
    doi = {10.1093/logcom/3.1.63},
    url = {https://doi.org/10.1093%2Flogcom%2F3.1.63},
    year = {1993},
    publisher = {Oxford University Press ({OUP})},
    volume = {3},
    number = {1},
    pages = {63--75},
    author = {Jörg Hudelmaier},
    title = {An -Space Decision Procedure for Intuitionistic Propositional Logic},
    journal = {Journal of Logic and Computation}
}

@article{HUDELMAIER_1993, doi = {10.1093/logcom/3.1.63}, url = {https://doi.org/10.1093%2Flogcom%2F3.1.63}, year = {1993}, publisher = {Oxford University Press ({OUP})}, volume = {3}, number = {1}, pages = {63--75}, author = {Jörg Hudelmaier}, title = {An -Space Decision Procedure for Intuitionistic Propositional Logic}, journal = {Journal of Logic and Computation} }