Set Unification (2001)

by Agostino Dovier , Enrico Pontelli , Gianfranco Rossi
Citations:9 - 4 self