@misc{indiciae900d9730ed84,
  title = {A logical framework with a graph meta-language},
  author = {Bruno Cuconato and Jefferson de Barros Santos and Edward Hermann Haeusler},
  year = {2021},
  url = {https://arxiv.org/abs/2106.13843},
  note = {Source identifier: 2106.13843}
}