John Edward Perry
发表
Christian Eder,
John Edward Perry,
J. Perry,
2009,
J. Symb. Comput..
Christian Eder,
John Edward Perry,
J. Perry,
2011,
ISSAC '11.
Christian Eder,
John Edward Perry,
Justin Gash,
2010,
1006.0318.