@misc{indiciae13b3c63359c4,
  title = {Lagrangian based A* algorithm for automated reasoning},
  author = {Renju Rajan},
  year = {2023},
  url = {https://arxiv.org/abs/2306.16368},
  note = {Source identifier: 2306.16368}
}