A BDD-Representation for the Logic of Equality and Uninterpreted Functions.

Jaco van de Pol, Olga Tveretina

Browse the full MFCS paper archive.