Kenneth L. Manders, Leonard M. Adleman: NP-Complete Decision Problems for Binary Quadratics. J. Comput. Syst. Sci. 16(2): 168-184 (1978)