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

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

Published in: CAV (1999)

Keyphrases

positive and negative
logic programming
classical logic
real time
information systems
database systems
objective function
automated reasoning
equivalence relation