Set Unification (2001)

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