Fast congruence closure and extensions | Publicación