@InCollection{AO13, Author = "Arthan, R. and Oliva, P.", Year = "2013", Title = "{Dual Hoops Have Unique Halving}", Editor = "Bonacina, M.P. and Stickel, M.", BookTitle = "{Automated Reasoning and Mathematics: Essays in Memory of William McCune}", Series = "Lecture Notes in Artificial Intelligence", Number = "", Pages = "To appear", Publisher = "Springer-Verlag", Comment = "TPTPRef" }