Set unification (0)

by A Dovier, E Pontelli, G Rossi
Venue:CoRR