Kim, D. (2023). Equational Theorem Proving for Clauses over Strings.
Chicago Style (17th ed.) CitationKim, Dohan. Equational Theorem Proving for Clauses over Strings. 2023.
MLA (9th ed.) CitationKim, Dohan. Equational Theorem Proving for Clauses over Strings. 2023.
Warning: These citations may not always be 100% accurate.