Satisfiability Checking for Logic with Equality and Uninterpreted Functions under Equivalence Constraints. - Hiroaki Kozawa; Kiyoharu Hamaguchi; Toshinobu Kashiwabara (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2007)