Declarative Demand-Driven Reverse Engineering. - Yihao Sun; Jeffrey Ching; Kristopher K. Micinski (CoRR, 2021)