TPTP Reference: BS+08

TPTP Reference: `BS+08`

@Article{BS+08,
    Author       = "Benzm{\"u}ller, C. and Sorge, V. and Jamnik, M. and
                    Kerber, M.",
    Year         = "2008",
    Title        = "{Combined Reasoning by Automated Cooperation}",
    Journal      = "Journal of Applied Logic",
    Volume       = "6",
    Number       = "3",
    Pages        = "318-342",
    Comment      = "TPTPRef"
}