| |
| 2007 | ||
|---|---|---|
| 1 | EE | Hiroaki Kozawa, Kiyoharu Hamaguchi, Toshinobu Kashiwabara: Satisfiability Checking for Logic with Equality and Uninterpreted Functions under Equivalence Constraints. IEICE Transactions 90-A(12): 2778-2789 (2007) |
| 1 | Kiyoharu Hamaguchi | [1] |
| 2 | Toshinobu Kashiwabara | [1] |