@article{Babai_1988,
    doi = {10.1016/0022-0000(88)90028-1},
    url = {https://doi.org/10.1016%2F0022-0000%2888%2990028-1},
    year = {1988},
    month = {apr},
    publisher = {Elsevier {BV}},
    volume = {36},
    number = {2},
    pages = {254--276},
    author = {L{\'{a}}szl{\'{o}} Babai and Shlomo Moran},
    title = {Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes},
    journal = {Journal of Computer and System Sciences}
}

@article{Babai_1988, doi = {10.1016/0022-0000(88)90028-1}, url = {https://doi.org/10.1016%2F0022-0000%2888%2990028-1}, year = {1988}, month = {apr}, publisher = {Elsevier {BV}}, volume = {36}, number = {2}, pages = {254--276}, author = {L{\'{a}}szl{\'{o}} Babai and Shlomo Moran}, title = {Arthur-Merlin games: A randomized proof system, and a hierarchy of complexity classes}, journal = {Journal of Computer and System Sciences} }