@Unpublished{Bro24,
    Author       = "Brown, C.",
    Year         = "2024",
    Title        = "{Simple Difficult Problems for Automated Theorem Provers}",
    Institution  = "Czech Tecnical University in Prague",
    Comment      = "TPTPRef"
}