@InProceedings{Oto07,
    Author       = "Otop, J.",
    Year         = "2007",
    Title        = "{Solution to some Right Alternative Ring Problems}",
    Editor       = "Ahrendt, W. and Baumgartner, P. and de Nivelle, H.",
    BookTitle    = "{Proceedings of the CADE-19 Workshop on DISPROVING -
                    Non-Theorems, Non-Validity, Non-Provability}",
    Place        = "Bremen, Germany",
    Pages        = "",
    Comment      = "TPTPCite"
}