@article{lauer2020lmcut,
  title={Beating LM-cut with LM-cut: Quick Cutting and Practical Tie Breaking for the Precondition Choice Function},
  author={Lauer, Pascal and Fickert, Maximilian},
  journal={HSDIP 2020},
  pages={9},
  year={2020}
}