Kim, D. (2023). Equational Theorem Proving for Clauses over Strings.
Cita Chicago Style (17a ed.)Kim, Dohan. Equational Theorem Proving for Clauses over Strings. 2023.
Cita MLA (9a ed.)Kim, Dohan. Equational Theorem Proving for Clauses over Strings. 2023.
Precaución: Estas citas no son 100% exactas.