@misc{indiciaeef1044da0a9e,
  title = {Mechanical proving with Walnut for squares and cubes in partial words},
  author = {John Machacek},
  year = {2022},
  doi = {10.4230/lipics.cpm.2022.5},
  url = {https://arxiv.org/abs/2201.05954},
  note = {Source identifier: 2201.05954}
}