@Article{RW01,
    Author       = "Rose, M. and Wilkinson, K.",
    Year         = "2001",
    Title        = "{Application of Model Search to Lattice Theory}",
    Journal      = "Association for Automated Reasoning Newsletter",
    Volume       = "52",
    Comment      = "TPTPRef"
}