Decision procedures for equality logic with uninterpreted functions by O. Tveretina