Satisfiability Checking for Logic with Equality and Uninterpreted Functions under Equivalence Constraints.

Hiroaki Kozawa Kiyoharu Hamaguchi Toshinobu Kashiwabara Satisfiability Checking for Logic with Equality and Uninterpreted Functions under Equivalence Constraints. 2778-2789 2007 90-A IEICE Transactions 12 http://dx.doi.org/10.1093/ietfec/e90-a.12.2778 db/journals/ieicet/ieicet90a.html#KozawaHK07