共 62 条
[1]
Ahrendt W, 1998, APPL LOG SER, V9, P97
[2]
Andrews Peter B, 2002, APPL LOGIC, V27
[3]
[Anonymous], 2019, LCP ISABELLE 2019
[4]
[Anonymous], 6247 LNCS
[5]
[Anonymous], 2006, YICES SMT SOLVER
[6]
Armand Michael, 2011, Certified Programs and Proofs. Proceedings First International Conference, CPP 2011, P135
[7]
Barrett C., 2010, The satisfiability modulo theories library (SMT-LIB)
[8]
Barrett C, 2007, LECT NOTES COMPUT SC, V4590, P298
[9]
Barsotti D, 2007, FORM ASP COMPUT, V19, P321, DOI 10.1007/S00165-007-0027-6