@incollection{Bancerek_2015,
    doi = {10.1007/978-3-319-20615-8_17},
    url = {https://doi.org/10.1007%2F978-3-319-20615-8_17},
    year = {2015},
    publisher = {Springer International Publishing},
    pages = {261--279},
    author = {Grzegorz Bancerek and Czes{{\l}}aw Byli{\'{n}}ski and Adam Grabowski and Artur Korni{{\l}}owicz and Roman Matuszewski and Adam Naumowicz and Karol Pa{\c a}k and Josef Urban},
    title = {Mizar: State-of-the-art and Beyond},
    booktitle = {Lecture Notes in Computer Science}
}

@incollection{Bancerek_2015, doi = {10.1007/978-3-319-20615-8_17}, url = {https://doi.org/10.1007%2F978-3-319-20615-8_17}, year = {2015}, publisher = {Springer International Publishing}, pages = {261--279}, author = {Grzegorz Bancerek and Czes{{\l}}aw Byli{\'{n}}ski and Adam Grabowski and Artur Korni{{\l}}owicz and Roman Matuszewski and Adam Naumowicz and Karol Pa{\c a}k and Josef Urban}, title = {Mizar: State-of-the-art and Beyond}, booktitle = {Lecture Notes in Computer Science} }