@inproceedings{Bl_ser_2018,
    doi = {10.1145/3188745.3188832},
    url = {https://doi.org/10.1145%2F3188745.3188832},
    year = {2018},
    month = {jun},
    publisher = {{ACM}},
    author = {Markus Bläser and Christian Ikenmeyer and Gorav Jindal and Vladimir Lysikov},
    title = {Generalized matrix completion and algebraic natural proofs},
    booktitle = {Proceedings of the 50th Annual {ACM} {SIGACT} Symposium on Theory of Computing}
}

@inproceedings{Bl_ser_2018, doi = {10.1145/3188745.3188832}, url = {https://doi.org/10.1145%2F3188745.3188832}, year = {2018}, month = {jun}, publisher = {{ACM}}, author = {Markus Bläser and Christian Ikenmeyer and Gorav Jindal and Vladimir Lysikov}, title = {Generalized matrix completion and algebraic natural proofs}, booktitle = {Proceedings of the 50th Annual {ACM} {SIGACT} Symposium on Theory of Computing} }