Equational theorem proving for clauses over strings

Dohan Kim
Mathematical Structures in Computer Science (MSCS) 2024.

abstract   BibTeX   PDF