@misc{indiciaedc23df7076db,
  title = {Structural Resolution for Abstract Compilation of Object-Oriented Languages},
  author = {Luca Franceschini and Davide Ancona and Ekaterina Komendantskaya},
  year = {2017},
  doi = {10.4204/eptcs.258.2},
  url = {https://arxiv.org/abs/1709.04902},
  note = {Source identifier: 1709.04902}
}