@Article{SFS95,
    Author       = "Slaney, J.K. and Fujita, M. and Stickel, M.E.",
    Year         = "1995",
    Title        = "{Automated Reasoning and Exhaustive Search: Quasigroup
                    Existence Problems}",
    Journal      = "Computers and Mathematics with Applications",
    Volume       = "29",
    Number       = "2",
    Pages        = "115-132",
    Comment      = "TPTPRef"
}