@Article{Kis97, Author = "Kisielewicz, A.", Year = "1997", Title = "{Austin Identities}", Journal = "Algebra Universalis", Volume = "38", Number = "3", Pages = "324-328", Comment = "TPTPRef" }