@misc{indiciae6a972fe74174,
  title = {The Role of Entropy in Guiding a Connection Prover},
  author = {Zsolt Zombori and Josef Urban and Miroslav Olšák},
  year = {2021},
  url = {https://arxiv.org/abs/2105.14706},
  note = {Source identifier: 2105.14706}
}