@InProceedings{l18-864-872,
  AUTHOR    = {Thomas Watson},
  TITLE     = {Quadratic Simulations of Merlin-Arthur Games},
  BOOKTITLE = {{LATIN}},
  SERIES    = {Lecture Notes in Computer Science},
  VOLUME    = {10807},
  PAGES     = {864--872},
  PUBLISHER = {Springer},
  YEAR      = {2018}
}