Application of model search to lattice theory (2001)

by M Rose, K Wilkinson
Venue:AAA Newsletter