@Article{Kor96-JFM,
    Author       = "Kornilowicz, A.",
    Year         = "1996",
    Title        = "{On the Group of Inner Automorphisms}",
    Journal      = "Journal of Formalized Mathematics",
    Volume       = "5",
    Number       = "1",
    Pages        = "43-45",
    Comment      = "TPTPRef,AUTGROUP"
}