@article{Krishnamurthy_1985,
    doi = {10.1007/bf00265682},
    url = {https://doi.org/10.1007%2Fbf00265682},
    year = {1985},
    month = {aug},
    publisher = {Springer Science and Business Media {LLC}},
    volume = {22},
    number = {3},
    author = {Balakrishnan Krishnamurthy},
    title = {Short proofs for tricky formulas},
    journal = {Acta Informatica}
}

@article{Krishnamurthy_1985, doi = {10.1007/bf00265682}, url = {https://doi.org/10.1007%2Fbf00265682}, year = {1985}, month = {aug}, publisher = {Springer Science and Business Media {LLC}}, volume = {22}, number = {3}, author = {Balakrishnan Krishnamurthy}, title = {Short proofs for tricky formulas}, journal = {Acta Informatica} }