@inproceedings{DBLP:conf/paar/Schurr22,
  author       = {Hans{-}J{\"{o}}rg Schurr},
  editor       = {Boris Konev and
                  Claudia Schon and
                  Alexander Steen},
  title        = {Optimal Strategy Schedules for Everyone},
  booktitle    = {Proceedings of the Workshop on Practical Aspects of Automated Reasoning
                  Co-located with the 11th International Joint Conference on Automated
                  Reasoning},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {3201},
  publisher    = {CEUR-WS.org},
  year         = {2022},
  url          = {https://ceur-ws.org/Vol-3201/paper8.pdf},
}