@misc{indiciaed3ca00c6abf9,
  title = {The method "Model Elimination" of D.W.Loveland explained},
  author = {Michel Lévy},
  year = {2016},
  url = {https://arxiv.org/abs/1603.07458},
  note = {Source identifier: 1603.07458}
}