Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/3-540-48683-6_40 ◽

1999 ◽

pp. 470-482 ◽

Author(s):

Randal E. Bryant ◽

Steven German ◽

Miroslav N. Velev

Download Full-text