Bigatti, Erey, Kara, O’Keefe, Petrovic, Santarsiero, Striuli
DominantIdeals.cpkg5
examples-IsDominant.cocoa5
examples-DominantIdeals3.cocoa5
examples-DominantIdeals4.cocoa5
examples-DominantIdeals5.cocoa5