SRI Formal Topics Seminar, July 16, 2020


Haniel Barbosa gave a talk on Congruence Closure with Free Variables