@article{KRAJ_EK_2011,
    doi = {10.1142/s0219061311000979},
    url = {https://doi.org/10.1142%2Fs0219061311000979},
    year = {2011},
    month = {jun},
    publisher = {World Scientific Pub Co Pte Lt},
    volume = {11},
    number = {01},
    pages = {11--27},
    author = {JAN KRAJ{\'{I}}{\v{C}}EK},
    title = {ON {THE} {PROOF} {COMPLEXITY} {OF} {THE} {NISAN}-{WIGDERSON} {GENERATOR} {BASED} {ON} A {HARD} {NP$\cap$coNP} {FUNCTION}},
    journal = {Journal of Mathematical Logic}
}

@article{KRAJ_EK_2011, doi = {10.1142/s0219061311000979}, url = {https://doi.org/10.1142%2Fs0219061311000979}, year = {2011}, month = {jun}, publisher = {World Scientific Pub Co Pte Lt}, volume = {11}, number = {01}, pages = {11--27}, author = {JAN KRAJ{\'{I}}{\v{C}}EK}, title = {ON {THE} {PROOF} {COMPLEXITY} {OF} {THE} {NISAN}-{WIGDERSON} {GENERATOR} {BASED} {ON} A {HARD} {NP$\cap$coNP} {FUNCTION}}, journal = {Journal of Mathematical Logic} }