Exploiting Positive Equality in a Logic of Equality with Uninterpreted Functions.

Randal E. Bryant, Steven M. German, Miroslav N. Velev

Browse the full CAV paper archive.