A Decision Procedure for Sets, Binary Relations and Partial Functions.

Maximiliano Cristi, Gianfranco Rossi

Browse the full CAV paper archive.