@InProceedings{Schulz:PAAR-2022,
  author =       {Stephan Schulz},
  title =        {Empirical Properties of Term Orderings for Superposition},
  booktitle =    {Proc.\ of the 8th PAAR, Haifa, Israel},
  year =         {2022},
  editor =       {Boris Konev and Claudia Schon and Alexander Steen},
  OPTnumber =    {3201},
  series =       {CEUR Workshop Proceedings},
  url =          {http://ceur-ws.org/Vol-3201/}
}