共 45 条
[1]
Aigner M, 2004, PROOFS BOOK, P3
[10]
Chen ZZ, 2010, LECT NOTES COMPUT SC, V6124, P90, DOI 10.1007/978-3-642-14355-7_10