BDD Based Procedures for a Theory of Equality with Uninterpreted Functions

Anuj Goel, Khurram Sajid, Hai Zhou, Adnan Aziz, Vigyan Singhal. BDD Based Procedures for a Theory of Equality with Uninterpreted Functions. Formal Methods in System Design, 22(3):205-224, 2003. [doi]

Abstract

Abstract is missing.