Application of model search to lattice theory (2001)

by Michael Rose , Kristin Wilkinson
Venue:AAA Newsletter
Citations:2 - 0 self