Congruence closure of compressed terms in polynomial time. (2011)

by M Schmidt-Schauß, D Sabel, A Anis
Venue:In Proceedings of the 8th International Symposium on Frontiers of Combining Systems, FroCos 2011, number 6989 of Lecture Notes in Computer Science,