TY  - RPRT
TI  - Structural Resolution for Abstract Compilation of Object-Oriented Languages
AU  - Luca Franceschini
AU  - Davide Ancona
AU  - Ekaterina Komendantskaya
PY  - 2017
DO  - 10.4204/eptcs.258.2
UR  - https://arxiv.org/abs/1709.04902
ID  - 1709.04902
ER  -