@misc{indiciaefece12574050,
  title = {A General Verification for Functional Completeness by Abstract Operators},
  author = {Yang Tian},
  year = {2020},
  url = {https://arxiv.org/abs/2005.04922},
  note = {Source identifier: 2005.04922}
}