@article{10_1017_fms_2016_13,
     author = {JAN KRAJ\'I\v{C}EK},
     title = {CONSISTENCY {OF} {CIRCUIT} {EVALUATION,} {EXTENDED} {RESOLUTION} {AND} {TOTAL} {NP} {SEARCH} {PROBLEMS}},
     journal = {Forum of Mathematics, Sigma},
     publisher = {mathdoc},
     volume = {4},
     year = {2016},
     doi = {10.1017/fms.2016.13},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/fms.2016.13/}
}