@inproceedings{petrov2023automated,
  title        = {Automated Planning Techniques for Elementary Proofs in Abstract Algebra},
  author       = {Petrov, Alice and Muise, Christian},
  booktitle    = {SPARK: Scheduling and Planning Applications Workshop},
  organization = {ICAPS},
  year         = {2023},
}