Adam Grabowski, Artur Kornilowicz, Christoph Schwarzweller. On algebraic hierarchies in mathematical repository of Mizar. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Proceedings of the 2016 Federated Conference on Computer Science and Information Systems, FedCSIS 2016, GdaĆsk, Poland, September 11-14, 2016. pages 363-371, 2016. [doi]
Abstract is missing.