@misc{indiciae4e5b7682cc0a, title = {Declarative Demand-Driven Reverse Engineering}, author = {Yihao Sun and Jeffrey Ching and Kristopher Micinski}, year = {2021}, url = {https://arxiv.org/abs/2101.04718}, note = {Source identifier: 2101.04718} }