A Decision Procedure for Equality Logic with Uninterpreted Functions.

Olga Tveretina

Browse the full AISC paper archive.