@ARTICLE{cj02-02,
  AUTHOR = {V. Arvind,K. V. Subrahmanyam, N. V. Vinodchandran},
  TITLE  = {The Query Complexity of Program Checking by Constant-Depth Circuits },
  YEAR = {2002},
  JOURNAL = {Chicago Journal of Theoretical Computer Science},
    VOLUME = {2002},
NUMBER={2},
month={december},
year{2002}