@Book{Wos96,
    Author       = "Wos, L.",
    Year         = "1996",
    Title        = "{The Automation of Reasoning: An Experimenter's Notebook
                    with OTTER Tutorial}",
    Publisher    = "Academic Press",
    Comment      = "TPTPRef, general reasoning"
}

@Article{Wos96-JAR-17-2,
    Author       = "Wos, L.",
    Year         = "1996",
    Title        = "{OTTER and the Moufang Identity Problem}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "17",
    Number       = "2",
    Pages        = "215-257",
    Comment      = "TPTPRef"
}

@Article{Wos96-JAR-17-1,
    Author       = "Wos, L.",
    Year         = "1996",
    Title        = "{The Power of Combining Resonance with Heat}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "17",
    Number       = "1",
    Pages        = "23-81",
    Comment      = "TPTPRef"
}