2021
Declarative Demand-Driven Reverse Engineering.
CoRR, 2021