@misc{indiciae4555259a24e0,
  title = {Resolution as Intersection Subtyping via Modus Ponens},
  author = {Koar Marntirosian and Tom Schrijvers and Bruno C. d. S. Oliveira and Georgios Karachalias},
  year = {2020},
  doi = {10.1145/3428274},
  url = {https://arxiv.org/abs/2010.06216},
  note = {Source identifier: 2010.06216}
}