@misc{indiciae5b32adb24630,
  title = {Extending Merge Resolution to a Family of Proof Systems},
  author = {Sravanthi Chede and Anil Shukla},
  year = {2021},
  url = {https://arxiv.org/abs/2112.11044},
  note = {Source identifier: 2112.11044}
}