Anuj Goel Khurram Sajid Hai Zhou Adnan Aziz Vigyan Singhal BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. 205-224 2003 22 Formal Methods in System Design 3 http://dx.doi.org/10.1023/A:1022988809947 db/journals/fmsd/fmsd22.html#GoelSZAS03